Trace number 4409902

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.0 parallelOPT4850 171.208 21.5717

General information on the benchmark

NameMario/
Mario-zinc-s1/Mario-t-hard-2.xml
MD5SUM2b9b9d57997e47756252872b7d7d2054
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4850
Best CPU time to get the best result obtained on this benchmark17.9325
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints201
Number of domains161
Minimum domain size1
Maximum domain size100
Distribution of domain sizes[{"size":1,"count":2},{"size":2,"count":98},{"size":85,"count":3},{"size":86,"count":3},{"size":87,"count":7},{"size":88,"count":10},{"size":89,"count":13},{"size":90,"count":11},{"size":91,"count":13},{"size":92,"count":9},{"size":93,"count":7},{"size":94,"count":9},{"size":95,"count":4},{"size":96,"count":8},{"size":97,"count":2},{"size":99,"count":1},{"size":100,"count":100}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":2},{"degree":2,"count":199},{"degree":3,"count":99}]
Minimum constraint arity1
Maximum constraint arity100
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":198},{"arity":100,"count":2}]
Number of extensional constraints100
Number of intensional constraints99
Distribution of constraint types[{"type":"extension","count":100},{"type":"intension","count":99},{"type":"sum","count":1},{"type":"circuit","count":1}]
Optimization problemYES
Type of objectivemax 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.07	c
0.00/0.07	c This is cosoco 2.00 --  
0.00/0.07	c
0.00/0.07	c command line: cosoco -model -nbcores=8 HOME/instance-4409902-1569829418.xml 
0.00/0.07	c intension  iff(eq(g[2],0),eq(s[2],2)) -> extension (support ? 1) - 100tuples
0.00/0.07	c intension  iff(eq(g[3],0),eq(s[3],3)) -> extension (support ? 1) - 100tuples
0.00/0.07	c intension  iff(eq(g[4],0),eq(s[4],4)) -> extension (support ? 1) - 100tuples
0.00/0.07	c intension  iff(eq(g[5],0),eq(s[5],5)) -> extension (support ? 1) - 100tuples
0.00/0.07	c intension  iff(eq(g[6],0),eq(s[6],6)) -> extension (support ? 1) - 100tuples
0.00/0.07	c intension  iff(eq(g[7],0),eq(s[7],7)) -> extension (support ? 1) - 100tuples
0.00/0.07	c intension  iff(eq(g[8],0),eq(s[8],8)) -> extension (support ? 1) - 100tuples
0.00/0.07	c intension  iff(eq(g[9],0),eq(s[9],9)) -> extension (support ? 1) - 100tuples
0.00/0.08	c intension  iff(eq(g[10],0),eq(s[10],10)) -> extension (support ? 1) - 100tuples
0.00/0.08	c intension  iff(eq(g[11],0),eq(s[11],11)) -> extension (support ? 1) - 100tuples
0.00/0.08	c intension  iff(eq(g[12],0),eq(s[12],12)) -> extension (support ? 1) - 100tuples
0.00/0.08	c intension  iff(eq(g[13],0),eq(s[13],13)) -> extension (support ? 1) - 100tuples
0.00/0.08	c intension  iff(eq(g[14],0),eq(s[14],14)) -> extension (support ? 1) - 100tuples
0.00/0.08	c intension  iff(eq(g[15],0),eq(s[15],15)) -> extension (support ? 1) - 100tuples
0.00/0.08	c intension  iff(eq(g[16],0),eq(s[16],16)) -> extension (support ? 1) - 100tuples
0.00/0.08	c intension  iff(eq(g[17],0),eq(s[17],17)) -> extension (support ? 1) - 100tuples
0.00/0.08	c intension  iff(eq(g[18],0),eq(s[18],18)) -> extension (support ? 1) - 100tuples
0.00/0.08	c intension  iff(eq(g[19],0),eq(s[19],19)) -> extension (support ? 1) - 100tuples
0.00/0.08	c intension  iff(eq(g[20],0),eq(s[20],20)) -> extension (support ? 1) - 100tuples
0.00/0.08	c intension  iff(eq(g[21],0),eq(s[21],21)) -> extension (support ? 1) - 100tuples
0.00/0.08	c intension  iff(eq(g[22],0),eq(s[22],22)) -> extension (support ? 1) - 100tuples
0.00/0.08	c intension  iff(eq(g[23],0),eq(s[23],23)) -> extension (support ? 1) - 100tuples
0.00/0.08	c intension  iff(eq(g[24],0),eq(s[24],24)) -> extension (support ? 1) - 100tuples
0.00/0.08	c intension  iff(eq(g[25],0),eq(s[25],25)) -> extension (support ? 1) - 100tuples
0.00/0.09	c intension  iff(eq(g[26],0),eq(s[26],26)) -> extension (support ? 1) - 100tuples
0.00/0.09	c intension  iff(eq(g[27],0),eq(s[27],27)) -> extension (support ? 1) - 100tuples
0.00/0.09	c intension  iff(eq(g[28],0),eq(s[28],28)) -> extension (support ? 1) - 100tuples
0.00/0.09	c intension  iff(eq(g[29],0),eq(s[29],29)) -> extension (support ? 1) - 100tuples
0.00/0.09	c intension  iff(eq(g[30],0),eq(s[30],30)) -> extension (support ? 1) - 100tuples
0.00/0.09	c intension  iff(eq(g[31],0),eq(s[31],31)) -> extension (support ? 1) - 100tuples
0.00/0.09	c intension  iff(eq(g[32],0),eq(s[32],32)) -> extension (support ? 1) - 100tuples
0.00/0.09	c intension  iff(eq(g[33],0),eq(s[33],33)) -> extension (support ? 1) - 100tuples
0.00/0.09	c intension  iff(eq(g[34],0),eq(s[34],34)) -> extension (support ? 1) - 100tuples
0.00/0.09	c intension  iff(eq(g[35],0),eq(s[35],35)) -> extension (support ? 1) - 100tuples
0.00/0.09	c intension  iff(eq(g[36],0),eq(s[36],36)) -> extension (support ? 1) - 100tuples
0.00/0.09	c intension  iff(eq(g[37],0),eq(s[37],37)) -> extension (support ? 1) - 100tuples
0.00/0.09	c intension  iff(eq(g[38],0),eq(s[38],38)) -> extension (support ? 1) - 100tuples
0.00/0.09	c intension  iff(eq(g[39],0),eq(s[39],39)) -> extension (support ? 1) - 100tuples
0.00/0.09	c intension  iff(eq(g[40],0),eq(s[40],40)) -> extension (support ? 1) - 100tuples
0.00/0.09	c intension  iff(eq(g[41],0),eq(s[41],41)) -> extension (support ? 1) - 100tuples
0.00/0.10	c intension  iff(eq(g[42],0),eq(s[42],42)) -> extension (support ? 1) - 100tuples
0.00/0.10	c intension  iff(eq(g[43],0),eq(s[43],43)) -> extension (support ? 1) - 100tuples
0.00/0.10	c intension  iff(eq(g[44],0),eq(s[44],44)) -> extension (support ? 1) - 100tuples
0.00/0.10	c intension  iff(eq(g[45],0),eq(s[45],45)) -> extension (support ? 1) - 100tuples
0.00/0.10	c intension  iff(eq(g[46],0),eq(s[46],46)) -> extension (support ? 1) - 100tuples
0.00/0.10	c intension  iff(eq(g[47],0),eq(s[47],47)) -> extension (support ? 1) - 100tuples
0.00/0.10	c intension  iff(eq(g[48],0),eq(s[48],48)) -> extension (support ? 1) - 100tuples
0.00/0.10	c intension  iff(eq(g[49],0),eq(s[49],49)) -> extension (support ? 1) - 100tuples
0.00/0.10	c intension  iff(eq(g[50],0),eq(s[50],50)) -> extension (support ? 1) - 100tuples
0.00/0.10	c intension  iff(eq(g[51],0),eq(s[51],51)) -> extension (support ? 1) - 100tuples
0.00/0.10	c intension  iff(eq(g[52],0),eq(s[52],52)) -> extension (support ? 1) - 100tuples
0.00/0.10	c intension  iff(eq(g[53],0),eq(s[53],53)) -> extension (support ? 1) - 100tuples
0.00/0.10	c intension  iff(eq(g[54],0),eq(s[54],54)) -> extension (support ? 1) - 100tuples
0.00/0.10	c intension  iff(eq(g[55],0),eq(s[55],55)) -> extension (support ? 1) - 100tuples
0.00/0.10	c intension  iff(eq(g[56],0),eq(s[56],56)) -> extension (support ? 1) - 100tuples
0.10/0.11	c intension  iff(eq(g[57],0),eq(s[57],57)) -> extension (support ? 1) - 100tuples
0.10/0.11	c intension  iff(eq(g[58],0),eq(s[58],58)) -> extension (support ? 1) - 100tuples
0.10/0.11	c intension  iff(eq(g[59],0),eq(s[59],59)) -> extension (support ? 1) - 100tuples
0.10/0.11	c intension  iff(eq(g[60],0),eq(s[60],60)) -> extension (support ? 1) - 100tuples
0.10/0.11	c intension  iff(eq(g[61],0),eq(s[61],61)) -> extension (support ? 1) - 100tuples
0.10/0.11	c intension  iff(eq(g[62],0),eq(s[62],62)) -> extension (support ? 1) - 100tuples
0.10/0.11	c intension  iff(eq(g[63],0),eq(s[63],63)) -> extension (support ? 1) - 100tuples
0.10/0.11	c intension  iff(eq(g[64],0),eq(s[64],64)) -> extension (support ? 1) - 100tuples
0.10/0.11	c intension  iff(eq(g[65],0),eq(s[65],65)) -> extension (support ? 1) - 100tuples
0.10/0.11	c intension  iff(eq(g[66],0),eq(s[66],66)) -> extension (support ? 1) - 100tuples
0.10/0.11	c intension  iff(eq(g[67],0),eq(s[67],67)) -> extension (support ? 1) - 100tuples
0.10/0.11	c intension  iff(eq(g[68],0),eq(s[68],68)) -> extension (support ? 1) - 100tuples
0.10/0.11	c intension  iff(eq(g[69],0),eq(s[69],69)) -> extension (support ? 1) - 100tuples
0.10/0.11	c intension  iff(eq(g[70],0),eq(s[70],70)) -> extension (support ? 1) - 100tuples
0.10/0.11	c intension  iff(eq(g[71],0),eq(s[71],71)) -> extension (support ? 1) - 100tuples
0.10/0.11	c intension  iff(eq(g[72],0),eq(s[72],72)) -> extension (support ? 1) - 100tuples
0.10/0.12	c intension  iff(eq(g[73],0),eq(s[73],73)) -> extension (support ? 1) - 100tuples
0.10/0.12	c intension  iff(eq(g[74],0),eq(s[74],74)) -> extension (support ? 1) - 100tuples
0.10/0.12	c intension  iff(eq(g[75],0),eq(s[75],75)) -> extension (support ? 1) - 100tuples
0.10/0.12	c intension  iff(eq(g[76],0),eq(s[76],76)) -> extension (support ? 1) - 100tuples
0.10/0.12	c intension  iff(eq(g[77],0),eq(s[77],77)) -> extension (support ? 1) - 100tuples
0.10/0.12	c intension  iff(eq(g[78],0),eq(s[78],78)) -> extension (support ? 1) - 100tuples
0.10/0.12	c intension  iff(eq(g[79],0),eq(s[79],79)) -> extension (support ? 1) - 100tuples
0.10/0.12	c intension  iff(eq(g[80],0),eq(s[80],80)) -> extension (support ? 1) - 100tuples
0.10/0.12	c intension  iff(eq(g[81],0),eq(s[81],81)) -> extension (support ? 1) - 100tuples
0.10/0.12	c intension  iff(eq(g[82],0),eq(s[82],82)) -> extension (support ? 1) - 100tuples
0.10/0.12	c intension  iff(eq(g[83],0),eq(s[83],83)) -> extension (support ? 1) - 100tuples
0.10/0.12	c intension  iff(eq(g[84],0),eq(s[84],84)) -> extension (support ? 1) - 100tuples
0.10/0.12	c intension  iff(eq(g[85],0),eq(s[85],85)) -> extension (support ? 1) - 100tuples
0.10/0.12	c intension  iff(eq(g[86],0),eq(s[86],86)) -> extension (support ? 1) - 100tuples
0.10/0.12	c intension  iff(eq(g[87],0),eq(s[87],87)) -> extension (support ? 1) - 100tuples
0.10/0.12	c intension  iff(eq(g[88],0),eq(s[88],88)) -> extension (support ? 1) - 100tuples
0.10/0.13	c intension  iff(eq(g[89],0),eq(s[89],89)) -> extension (support ? 1) - 100tuples
0.10/0.13	c intension  iff(eq(g[90],0),eq(s[90],90)) -> extension (support ? 1) - 100tuples
0.10/0.13	c intension  iff(eq(g[91],0),eq(s[91],91)) -> extension (support ? 1) - 100tuples
0.10/0.13	c intension  iff(eq(g[92],0),eq(s[92],92)) -> extension (support ? 1) - 100tuples
0.10/0.13	c intension  iff(eq(g[93],0),eq(s[93],93)) -> extension (support ? 1) - 100tuples
0.10/0.13	c intension  iff(eq(g[94],0),eq(s[94],94)) -> extension (support ? 1) - 100tuples
0.10/0.13	c intension  iff(eq(g[95],0),eq(s[95],95)) -> extension (support ? 1) - 100tuples
0.10/0.13	c intension  iff(eq(g[96],0),eq(s[96],96)) -> extension (support ? 1) - 100tuples
0.10/0.13	c intension  iff(eq(g[97],0),eq(s[97],97)) -> extension (support ? 1) - 100tuples
0.10/0.13	c intension  iff(eq(g[98],0),eq(s[98],98)) -> extension (support ? 1) - 100tuples
0.10/0.13	c intension  iff(eq(g[99],0),eq(s[99],99)) -> extension (support ? 1) - 100tuples
0.10/0.16	c enable optimization
0.10/0.16	c ========================================[ Problem Statistics ]===========================================
0.10/0.16	c |                                                                                                       
0.10/0.16	c |  Parse time        :         0.13 s 
0.10/0.16	c |
0.10/0.16	c |               Variables: 300
0.10/0.16	c |            Domain Sizes: 1..100
0.10/0.16	c |
0.10/0.16	c |             Constraints: 202
0.10/0.16	c |                   Arity: 1..100  -- Unary: 1  -- Binary: 198
0.10/0.16	c | 
0.10/0.16	c |                   Types: 
0.10/0.16	c |                          Circuit: 1
0.10/0.16	c |                          Extension: 198  (nb tuples: 100..100) -- (shared: 0)
0.10/0.16	c |                          Sum: 2
0.10/0.16	c |                          Unary: 1
0.10/0.16	c |                          
0.10/0.16	c |               Objective: Maximize Sum
0.10/0.16	
0.10/0.16	c =========================================================================================================
0.10/0.16	c Parallel mode: Portfolio
0.10/0.16	c [pFactory][Group N°0] created (threads:8).
0.10/0.16	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
0.10/0.16	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
0.10/0.16	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
0.10/0.16	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
0.10/0.16	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
0.10/0.16	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
0.10/0.16	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
0.10/0.16	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
0.10/0.16	c [pFactory][Group N°0] concurrent mode: enabled.
0.10/0.16	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
0.10/0.16	c [pFactory][Group N°0] task 7 launched on thread 7.
0.10/0.16	c [pFactory][Group N°0] task 6 launched on thread 1.
0.10/0.16	c [pFactory][Group N°0] task 5 launched on thread 0.
0.10/0.16	c [pFactory][Group N°0] task 4 launched on thread 2.
0.10/0.16	c [pFactory][Group N°0] task 3 launched on thread 5.
0.10/0.16	c [pFactory][Group N°0] task 2 launched on thread 4.
0.10/0.16	c [pFactory][Group N°0] task 1 launched on thread 3.
0.10/0.16	c [pFactory][Group N°0] task 0 launched on thread 6.
0.10/0.16	o 0
0.10/0.17	o 40
0.10/0.18	o 99
0.10/0.20	o 107
0.10/0.20	o 169
0.75/0.22	o 177
0.75/0.23	o 195
0.75/0.24	o 207
0.75/0.25	o 226
0.75/0.26	o 230
0.75/0.26	o 294
0.75/0.28	o 322
0.75/0.28	o 328
0.75/0.30	o 341
0.75/0.31	o 391
1.54/0.33	o 461
1.54/0.34	o 549
1.54/0.36	o 558
1.54/0.38	o 598
1.54/0.39	o 638
1.54/0.40	o 665
1.54/0.41	o 731
2.33/0.43	o 778
2.33/0.44	o 780
2.33/0.46	o 819
2.33/0.47	o 853
2.33/0.48	o 3958
3.84/0.66	o 4171
6.17/0.95	o 4636
40.51/5.26	o 4637
90.82/11.54	o 4639
113.18/14.36	o 4641
120.37/15.21	o 4720
140.34/17.80	o 4784
159.57/20.12	o 4814
170.69/21.56	o 4850
170.69/21.56	c [pFactory][Group N°0] concurent mode: thread 1 has won with the task 6.
170.69/21.56	c [pFactory][Group N°0] Thread N°0 is joined.
170.69/21.56	c [pFactory][Group N°0] Thread N°1 is joined.
170.69/21.56	c [pFactory][Group N°0] Thread N°2 is joined.
170.69/21.56	c [pFactory][Group N°0] Thread N°3 is joined.
170.69/21.56	c [pFactory][Group N°0] Thread N°4 is joined.
170.69/21.56	c [pFactory][Group N°0] Thread N°5 is joined.
170.69/21.56	c [pFactory][Group N°0] Thread N°6 is joined.
170.69/21.56	c [pFactory][Group N°0] Thread N°7 is joined.
170.69/21.56	c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°1)
170.69/21.56	s OPTIMUM FOUND
170.69/21.56	c call to solver        : 3
170.69/21.56	c
170.69/21.56	c restarts              : 123         
170.69/21.56	c conflicts             : 1061         (6 /sec)
170.69/21.56	c decisions             : 21640        (126 /sec)
170.69/21.56	c propagations          : 1943793     (11359 /sec)
170.69/21.56	c root propagations     : 273         
170.69/21.56	c filter calls          : 1440124        (8416 /sec)
170.69/21.56	c useless filter calls  : 970698         (67 %)
170.69/21.56	c Memory used           : 593.56 MB
170.69/21.56	c Best bound time (wc)  : 21.5597 s
170.69/21.56	c CPU time              : 171.12 s
170.69/21.56	c real time             : 21.5644 s
170.69/21.56	
170.69/21.56	
170.69/21.56	v <instantiation type='solution' cost='4850'>
170.69/21.56	v <list>f[0] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[1] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[2] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[3] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[4] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[5] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[6] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[7] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[8] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[9] g[0] g[10] g[11] g[12] g[13] g[14] g[15] g[16] g[17] g[18] g[19] g[1] g[20] g[21] g[22] g[23] g[24] g[25] g[26] g[27] g[28] g[29] g[2] g[30] g[31] g[32] g[33] g[34] g[35] g[36] g[37] g[38] g[39] g[3] g[40] g[41] g[42] g[43] g[44] g[45] g[46] g[47] g[48] g[49] g[4] g[50] g[51] g[52] g[53] g[54] g[55] g[56] g[57] g[58] g[59] g[5] g[60] g[61] g[62] g[63] g[64] g[65] g[66] g[67] g[68] g[69] g[6] g[70] g[71] g[72] g[73] g[74] g[75] g[76] g[77] g[78] g[79] g[7] g[80] g[81] g[82] g[83] g[84] g[85] g[86] g[87] g[88] g[89] g[8] g[90] g[91] g[92] g[93] g[94] g[95] g[96] g[97] g[98] g[99] g[9] s[0] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[1] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[2] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[3] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[4] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[5] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[6] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] s[7] s[80] s[81] s[82] s[83] s[84] s[85] s[86] s[87] s[88] s[89] s[8] s[90] s[91] s[92] s[93] s[94] s[95] s[96] s[97] s[98] s[99] s[9] </list>
170.69/21.56	v <values>62 33 263 496 293 449 407 470 452 217 397 0 441 312 199 307 0 67 339 396 254 223 29 226 426 131 196 33 228 395 225 446 68 82 410 248 457 24 38 43 455 428 11 333 38 51 122 24 7 163 75 300 202 185 42 61 30 131 77 54 406 325 40 82 22 102 256 199 193 177 362 115 283 57 38 126 287 272 17 395 312 58 330 453 17 91 366 68 225 53 439 0 63 136 390 33 149 149 25 262 0 94 86 34 14 14 16 67 99 30 31 0 78 47 99 42 56 14 62 35 53 62 40 79 26 7 50 30 24 97 15 67 88 67 2 55 58 19 42 40 34 83 36 67 89 59 66 98 31 99 9 58 2 70 73 50 14 62 94 13 34 56 38 26 94 47 6 91 36 35 88 33 71 8 23 5 19 19 31 93 72 92 46 65 8 37 35 2 47 86 35 3 49 43 67 70 64 96 66 68 62 11 12 13 14 15 16 17 18 19 20 0 21 22 23 24 25 26 27 28 29 30 65 31 32 33 34 35 36 37 38 39 40 4 41 42 43 81 47 49 45 48 90 69 5 72 57 87 68 60 46 93 73 55 54 6 77 71 92 88 58 97 80 70 86 79 7 76 1 53 75 78 82 84 74 98 67 8 83 64 85 89 51 91 99 61 96 59 9 50 63 56 66 44 94 95 3 2 52 10 </values>
170.69/21.56	v </instantiation>
170.69/21.56

Verifier Data 

OK	4850

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409902-1569829418/watcher-4409902-1569829418 -o /tmp/evaluation-result-4409902-1569829418/solver-4409902-1569829418 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node146-1569818084-23682 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4409902-1569829418.xml 

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

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

solver pid=26408, runsolver pid=26405

[startup+0.100151 s]*
/proc/loadavg: 8.97 6.53 6.26 2/193 26409
/proc/meminfo: memFree=30271616/32770624 swapFree=67002424/67108860
[pid=26408] ppid=26405 vsize=47164 memory=23636 CPUtime=0.1 cores=0-7
/proc/26408/stat : 26408 (cosoco) R 26405 26408 23655 0 -1 4202496 6074 0 0 0 9 1 0 0 20 0 1 0 558855629 48295936 5909 33554432000 4194304 6211132 140727669634464 140727669631000 140113821350885 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
/proc/26408/statm: 11791 5909 851 493 0 5096 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 47164 KiB
Current children cumulated memory: 23636 KiB

[startup+0.210302 s]*
/proc/loadavg: 8.97 6.53 6.26 9/201 26417
/proc/meminfo: memFree=30261316/32770624 swapFree=67002424/67108860
[pid=26408] ppid=26405 vsize=640584 memory=33508 CPUtime=0.75 cores=0-7
/proc/26408/stat : 26408 (cosoco) S 26405 26408 23655 0 -1 1077944320 7711 0 0 0 74 1 0 0 20 0 9 0 558855629 655958016 8377 33554432000 4194304 6211132 140727669634464 140727669632720 140113837391607 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
/proc/26408/statm: 160146 8377 883 493 0 153451 0
[pid=26408/tid=26410] ppid=26405 vsize=640584 memory=8316850467074736180 CPUtime=0.07 cores=0-7
/proc/26408/task/26410/stat : 26410 (cosoco) R 26405 26408 23655 0 -1 4202560 86 0 0 0 7 0 0 0 20 0 9 0 558855643 655958016 8377 33554432000 4194304 6211132 140727669634464 140113814248040 5075315 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26411] ppid=26405 vsize=640584 memory=14007 CPUtime=0.07 cores=0-7
/proc/26408/task/26411/stat : 26411 (cosoco) R 26405 26408 23655 0 -1 4202560 91 0 0 0 7 0 0 0 20 0 9 0 558855643 655958016 8377 33554432000 4194304 6211132 140727669634464 140113805855336 5155839 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26412] ppid=26405 vsize=640584 memory=4122121102852171424 CPUtime=0.07 cores=0-7
/proc/26408/task/26412/stat : 26412 (cosoco) R 26405 26408 23655 0 -1 4202560 90 0 0 0 7 0 0 0 20 0 9 0 558855643 655958016 8377 33554432000 4194304 6211132 140727669634464 140113797462328 5389855 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26413] ppid=26405 vsize=640584 memory=-1 CPUtime=0.06 cores=0-7
/proc/26408/task/26413/stat : 26413 (cosoco) R 26405 26408 23655 0 -1 4202560 73 0 0 0 6 0 0 0 20 0 9 0 558855643 655958016 8377 33554432000 4194304 6211132 140727669634464 140113789069928 5158060 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26414] ppid=26405 vsize=640584 memory=0 CPUtime=0.07 cores=0-7
/proc/26408/task/26414/stat : 26414 (cosoco) R 26405 26408 23655 0 -1 4202560 84 0 0 0 7 0 0 0 20 0 9 0 558855643 655958016 8377 33554432000 4194304 6211132 140727669634464 140113780677904 5155836 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26415] ppid=26405 vsize=640584 memory=0 CPUtime=0.07 cores=0-7
/proc/26408/task/26415/stat : 26415 (cosoco) R 26405 26408 23655 0 -1 4202560 85 0 0 0 7 0 0 0 20 0 9 0 558855643 655958016 8377 33554432000 4194304 6211132 140727669634464 140113772284680 5155700 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26416] ppid=26405 vsize=640584 memory=-1 CPUtime=0.07 cores=0-7
/proc/26408/task/26416/stat : 26416 (cosoco) R 26405 26408 23655 0 -1 4202560 73 0 0 0 7 0 0 0 20 0 9 0 558855643 655958016 8377 33554432000 4194304 6211132 140727669634464 140113763891432 5158025 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26417] ppid=26405 vsize=640584 memory=0 CPUtime=0.07 cores=0-7
/proc/26408/task/26417/stat : 26417 (cosoco) R 26405 26408 23655 0 -1 4202560 86 0 0 0 7 0 0 0 20 0 9 0 558855643 655958016 8377 33554432000 4194304 6211132 140727669634464 140113755499792 5193780 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
Current children cumulated CPU time: 0.75 s
Current children cumulated vsize: 640584 KiB
Current children cumulated memory: 33508 KiB

[startup+0.310301 s]*
/proc/loadavg: 8.97 6.53 6.26 9/201 26417
/proc/meminfo: memFree=30261316/32770624 swapFree=67002424/67108860
[pid=26408] ppid=26405 vsize=640584 memory=33508 CPUtime=1.54 cores=0-7
/proc/26408/stat : 26408 (cosoco) S 26405 26408 23655 0 -1 1077944320 7737 0 0 0 153 1 0 0 20 0 9 0 558855629 655958016 8377 33554432000 4194304 6211132 140727669634464 140727669632720 140113837391607 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
/proc/26408/statm: 160146 8377 883 493 0 153451 0
[pid=26408/tid=26410] ppid=26405 vsize=640584 memory=6935054825532540783 CPUtime=0.17 cores=0-7
/proc/26408/task/26410/stat : 26410 (cosoco) R 26405 26408 23655 0 -1 4202560 95 0 0 0 17 0 0 0 20 0 9 0 558855643 655958016 8377 33554432000 4194304 6211132 140727669634464 140113814248040 5145444 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26411] ppid=26405 vsize=640584 memory=4872558044660077418 CPUtime=0.17 cores=0-7
/proc/26408/task/26411/stat : 26411 (cosoco) R 26405 26408 23655 0 -1 4202560 92 0 0 0 17 0 0 0 20 0 9 0 558855643 655958016 8377 33554432000 4194304 6211132 140727669634464 140113805856016 5250319 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26412] ppid=26405 vsize=640584 memory=0 CPUtime=0.17 cores=0-7
/proc/26408/task/26412/stat : 26412 (cosoco) R 26405 26408 23655 0 -1 4202560 90 0 0 0 17 0 0 0 20 0 9 0 558855643 655958016 8377 33554432000 4194304 6211132 140727669634464 140113797462632 5145424 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26413] ppid=26405 vsize=640584 memory=0 CPUtime=0.16 cores=0-7
/proc/26408/task/26413/stat : 26413 (cosoco) R 26405 26408 23655 0 -1 4202560 78 0 0 0 16 0 0 0 20 0 9 0 558855643 655958016 8377 33554432000 4194304 6211132 140727669634464 140113789069848 5157572 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26414] ppid=26405 vsize=640584 memory=0 CPUtime=0.17 cores=0-7
/proc/26408/task/26414/stat : 26414 (cosoco) R 26405 26408 23655 0 -1 4202560 86 0 0 0 17 0 0 0 20 0 9 0 558855643 655958016 8377 33554432000 4194304 6211132 140727669634464 140113780677904 5158052 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26415] ppid=26405 vsize=640584 memory=0 CPUtime=0.17 cores=0-7
/proc/26408/task/26415/stat : 26415 (cosoco) R 26405 26408 23655 0 -1 4202560 88 0 0 0 17 0 0 0 20 0 9 0 558855643 655958016 8377 33554432000 4194304 6211132 140727669634464 140113772284440 5157572 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26416] ppid=26405 vsize=640584 memory=0 CPUtime=0.17 cores=0-7
/proc/26408/task/26416/stat : 26416 (cosoco) R 26405 26408 23655 0 -1 4202560 77 0 0 0 17 0 0 0 20 0 9 0 558855643 655958016 8377 33554432000 4194304 6211132 140727669634464 140113763891432 5193776 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26417] ppid=26405 vsize=640584 memory=0 CPUtime=0.17 cores=0-7
/proc/26408/task/26417/stat : 26417 (cosoco) R 26405 26408 23655 0 -1 1077944384 88 0 0 0 17 0 0 0 20 0 9 0 558855643 655958016 8377 33554432000 4194304 6211132 140727669634464 140113755499792 140113837412797 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
Current children cumulated CPU time: 1.54 s
Current children cumulated vsize: 640584 KiB
Current children cumulated memory: 33508 KiB

[startup+0.701302 s]
/proc/loadavg: 8.97 6.53 6.26 9/201 26417
/proc/meminfo: memFree=30261628/32770624 swapFree=67002424/67108860
[pid=26408] ppid=26405 vsize=640584 memory=33508 CPUtime=4.57 cores=0-7
/proc/26408/stat : 26408 (cosoco) S 26405 26408 23655 0 -1 1077944320 7851 0 0 0 456 1 0 0 20 0 9 0 558855629 655958016 8377 33554432000 4194304 6211132 140727669634464 140727669632720 140113837391607 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
/proc/26408/statm: 160146 8377 883 493 0 153451 0
[pid=26408/tid=26410] ppid=26405 vsize=640584 memory=12028 CPUtime=0.56 cores=0-7
/proc/26408/task/26410/stat : 26410 (cosoco) R 26405 26408 23655 0 -1 4202560 108 0 0 0 56 0 0 0 20 0 9 0 558855643 655958016 8377 33554432000 4194304 6211132 140727669634464 140113814248720 5250319 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26411] ppid=26405 vsize=640584 memory=532 CPUtime=0.55 cores=0-7
/proc/26408/task/26411/stat : 26411 (cosoco) R 26405 26408 23655 0 -1 4202560 95 0 0 0 55 0 0 0 20 0 9 0 558855643 655958016 8377 33554432000 4194304 6211132 140727669634464 140113805856016 5193776 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26412] ppid=26405 vsize=640584 memory=1564 CPUtime=0.56 cores=0-7
/proc/26408/task/26412/stat : 26412 (cosoco) R 26405 26408 23655 0 -1 4202560 101 0 0 0 56 0 0 0 20 0 9 0 558855643 655958016 8377 33554432000 4194304 6211132 140727669634464 140113797463312 5389840 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26413] ppid=26405 vsize=640584 memory=928 CPUtime=0.54 cores=0-7
/proc/26408/task/26413/stat : 26413 (cosoco) R 26405 26408 23655 0 -1 4202560 101 0 0 0 54 0 0 0 20 0 9 0 558855643 655958016 8377 33554432000 4194304 6211132 140727669634464 140113789069624 5193776 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26414] ppid=26405 vsize=640584 memory=1980 CPUtime=0.55 cores=0-7
/proc/26408/task/26414/stat : 26414 (cosoco) R 26405 26408 23655 0 -1 4202560 93 0 0 0 55 0 0 0 20 0 9 0 558855643 655958016 8377 33554432000 4194304 6211132 140727669634464 140113780677904 5250319 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26415] ppid=26405 vsize=640584 memory=4713745541279610410 CPUtime=0.56 cores=0-7
/proc/26408/task/26415/stat : 26415 (cosoco) R 26405 26408 23655 0 -1 4202560 104 0 0 0 56 0 0 0 20 0 9 0 558855643 655958016 8377 33554432000 4194304 6211132 140727669634464 140113772284520 5156264 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26416] ppid=26405 vsize=640584 memory=9047017150487036571 CPUtime=0.55 cores=0-7
/proc/26408/task/26416/stat : 26416 (cosoco) R 26405 26408 23655 0 -1 4202560 102 0 0 0 55 0 0 0 20 0 9 0 558855643 655958016 8377 33554432000 4194304 6211132 140727669634464 140113763891512 5193786 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26417] ppid=26405 vsize=640584 memory=-8253362762722141311 CPUtime=0.53 cores=0-7
/proc/26408/task/26417/stat : 26417 (cosoco) R 26405 26408 23655 0 -1 4202560 104 0 0 0 53 0 0 0 20 0 9 0 558855643 655958016 8377 33554432000 4194304 6211132 140727669634464 140113755499192 5155836 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
Current children cumulated CPU time: 4.57 s
Current children cumulated vsize: 640584 KiB
Current children cumulated memory: 33508 KiB

[startup+1.5013 s]
/proc/loadavg: 8.97 6.53 6.26 9/201 26417
/proc/meminfo: memFree=30261256/32770624 swapFree=67002424/67108860
[pid=26408] ppid=26405 vsize=640584 memory=35140 CPUtime=10.96 cores=0-7
/proc/26408/stat : 26408 (cosoco) S 26405 26408 23655 0 -1 1077944320 14664 0 0 0 1093 3 0 0 20 0 9 0 558855629 655958016 8785 33554432000 4194304 6211132 140727669634464 140727669632720 140113837391607 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
/proc/26408/statm: 160146 8785 883 493 0 153451 0
[pid=26408/tid=26410] ppid=26405 vsize=640584 memory=0 CPUtime=1.35 cores=0-7
/proc/26408/task/26410/stat : 26410 (cosoco) R 26405 26408 23655 0 -1 4202560 665 0 0 0 135 0 0 0 20 0 9 0 558855643 655958016 8785 33554432000 4194304 6211132 140727669634464 140113814248040 5389844 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26411] ppid=26405 vsize=640584 memory=2110101863880772 CPUtime=1.35 cores=0-7
/proc/26408/task/26411/stat : 26411 (cosoco) R 26405 26408 23655 0 -1 4202560 1217 0 0 0 135 0 0 0 20 0 9 0 558855643 655958016 8785 33554432000 4194304 6211132 140727669634464 140113805855336 5250321 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26412] ppid=26405 vsize=640584 memory=301741416374351177 CPUtime=1.35 cores=0-7
/proc/26408/task/26412/stat : 26412 (cosoco) R 26405 26408 23655 0 -1 4202560 1003 0 0 0 135 0 0 0 20 0 9 0 558855643 655958016 8785 33554432000 4194304 6211132 140727669634464 140113797463312 5389840 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26413] ppid=26405 vsize=640584 memory=14415903935612688 CPUtime=1.33 cores=0-7
/proc/26408/task/26413/stat : 26413 (cosoco) R 26405 26408 23655 0 -1 4202560 914 0 0 0 133 0 0 0 20 0 9 0 558855643 655958016 8785 33554432000 4194304 6211132 140727669634464 140113789069848 5155836 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26414] ppid=26405 vsize=640584 memory=3616 CPUtime=1.35 cores=0-7
/proc/26408/task/26414/stat : 26414 (cosoco) R 26405 26408 23655 0 -1 4202560 1020 0 0 0 135 0 0 0 20 0 9 0 558855643 655958016 8785 33554432000 4194304 6211132 140727669634464 140113780676920 5250316 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26415] ppid=26405 vsize=640584 memory=10556 CPUtime=1.35 cores=0-7
/proc/26408/task/26415/stat : 26415 (cosoco) R 26405 26408 23655 0 -1 4202560 943 0 0 0 135 0 0 0 20 0 9 0 558855643 655958016 8785 33554432000 4194304 6211132 140727669634464 140113772284520 5156220 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26416] ppid=26405 vsize=640584 memory=988 CPUtime=1.35 cores=0-7
/proc/26408/task/26416/stat : 26416 (cosoco) R 26405 26408 23655 0 -1 4202560 908 0 0 0 135 0 0 0 20 0 9 0 558855643 655958016 8785 33554432000 4194304 6211132 140727669634464 140113763891512 5145444 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26417] ppid=26405 vsize=640584 memory=2012 CPUtime=1.32 cores=0-7
/proc/26408/task/26417/stat : 26417 (cosoco) R 26405 26408 23655 0 -1 4202560 951 0 0 0 132 0 0 0 20 0 9 0 558855643 655958016 8785 33554432000 4194304 6211132 140727669634464 140113755498808 5158055 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
Current children cumulated CPU time: 10.96 s
Current children cumulated vsize: 640584 KiB
Current children cumulated memory: 35140 KiB

[startup+3.11029 s]
/proc/loadavg: 8.89 6.55 6.27 9/201 26417
/proc/meminfo: memFree=30261376/32770624 swapFree=67002424/67108860
[pid=26408] ppid=26405 vsize=640584 memory=35140 CPUtime=23.8 cores=0-7
/proc/26408/stat : 26408 (cosoco) S 26405 26408 23655 0 -1 1077944320 14718 0 0 0 2377 3 0 0 20 0 9 0 558855629 655958016 8785 33554432000 4194304 6211132 140727669634464 140727669632720 140113837391607 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
/proc/26408/statm: 160146 8785 883 493 0 153451 0
[pid=26408/tid=26410] ppid=26405 vsize=640584 memory=0 CPUtime=2.96 cores=0-7
/proc/26408/task/26410/stat : 26410 (cosoco) R 26405 26408 23655 0 -1 4202560 678 0 0 0 296 0 0 0 20 0 9 0 558855643 655958016 8785 33554432000 4194304 6211132 140727669634464 140113814247960 5145456 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26411] ppid=26405 vsize=640584 memory=0 CPUtime=2.96 cores=0-7
/proc/26408/task/26411/stat : 26411 (cosoco) R 26405 26408 23655 0 -1 4202560 1230 0 0 0 296 0 0 0 20 0 9 0 558855643 655958016 8785 33554432000 4194304 6211132 140727669634464 140113805854952 5389855 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26412] ppid=26405 vsize=640584 memory=279502513228672 CPUtime=2.96 cores=0-7
/proc/26408/task/26412/stat : 26412 (cosoco) R 26405 26408 23655 0 -1 4202560 1017 0 0 0 296 0 0 0 20 0 9 0 558855643 655958016 8785 33554432000 4194304 6211132 140727669634464 140113797462552 5389855 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26413] ppid=26405 vsize=640584 memory=279502513228736 CPUtime=2.94 cores=0-7
/proc/26408/task/26413/stat : 26413 (cosoco) R 26405 26408 23655 0 -1 4202560 917 0 0 0 294 0 0 0 20 0 9 0 558855643 655958016 8785 33554432000 4194304 6211132 140727669634464 140113789069848 5250482 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26414] ppid=26405 vsize=640584 memory=0 CPUtime=2.96 cores=0-7
/proc/26408/task/26414/stat : 26414 (cosoco) R 26405 26408 23655 0 -1 4202560 1022 0 0 0 296 0 0 0 20 0 9 0 558855643 655958016 8785 33554432000 4194304 6211132 140727669634464 140113780676920 5145424 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26415] ppid=26405 vsize=640584 memory=68 CPUtime=2.96 cores=0-7
/proc/26408/task/26415/stat : 26415 (cosoco) R 26405 26408 23655 0 -1 4202560 944 0 0 0 296 0 0 0 20 0 9 0 558855643 655958016 8785 33554432000 4194304 6211132 140727669634464 140113772284520 5193776 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26416] ppid=26405 vsize=640584 memory=8244517986512759125 CPUtime=2.96 cores=0-7
/proc/26408/task/26416/stat : 26416 (cosoco) R 26405 26408 23655 0 -1 4202560 911 0 0 0 296 0 0 0 20 0 9 0 558855643 655958016 8785 33554432000 4194304 6211132 140727669634464 140113763891736 5389855 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26417] ppid=26405 vsize=640584 memory=279502513231268 CPUtime=2.9 cores=0-7
/proc/26408/task/26417/stat : 26417 (cosoco) R 26405 26408 23655 0 -1 4202560 956 0 0 0 290 0 0 0 20 0 9 0 558855643 655958016 8785 33554432000 4194304 6211132 140727669634464 140113755498808 5193786 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
Current children cumulated CPU time: 23.8 s
Current children cumulated vsize: 640584 KiB
Current children cumulated memory: 35140 KiB

[startup+6.3013 s]
/proc/loadavg: 8.89 6.55 6.27 9/201 26417
/proc/meminfo: memFree=30261412/32770624 swapFree=67002424/67108860
[pid=26408] ppid=26405 vsize=640584 memory=35384 CPUtime=49.3 cores=0-7
/proc/26408/stat : 26408 (cosoco) S 26405 26408 23655 0 -1 1077944320 35040 0 0 0 4924 6 0 0 20 0 9 0 558855629 655958016 8846 33554432000 4194304 6211132 140727669634464 140727669632720 140113837391607 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
/proc/26408/statm: 160146 8846 883 493 0 153451 0
[pid=26408/tid=26410] ppid=26405 vsize=640584 memory=35384 CPUtime=6.16 cores=0-7
/proc/26408/task/26410/stat : 26410 (cosoco) R 26405 26408 23655 0 -1 4202560 2746 0 0 0 615 1 0 0 20 0 9 0 558855643 655958016 8846 33554432000 4194304 6211132 140727669634464 140113814247960 5389851 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26411] ppid=26405 vsize=640584 memory=1224 CPUtime=6.15 cores=0-7
/proc/26408/task/26411/stat : 26411 (cosoco) R 26405 26408 23655 0 -1 4202560 3604 0 0 0 615 0 0 0 20 0 9 0 558855643 655958016 8846 33554432000 4194304 6211132 140727669634464 140113805855336 5145424 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26412] ppid=26405 vsize=640584 memory=0 CPUtime=6.15 cores=0-7
/proc/26408/task/26412/stat : 26412 (cosoco) R 26405 26408 23655 0 -1 4202560 3420 0 0 0 615 0 0 0 20 0 9 0 558855643 655958016 8846 33554432000 4194304 6211132 140727669634464 140113797463312 5145573 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26413] ppid=26405 vsize=640584 memory=139755662681727 CPUtime=6.13 cores=0-7
/proc/26408/task/26413/stat : 26413 (cosoco) R 26405 26408 23655 0 -1 4202560 3283 0 0 0 613 0 0 0 20 0 9 0 558855643 655958016 8846 33554432000 4194304 6211132 140727669634464 140113789069848 5145444 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26414] ppid=26405 vsize=640584 memory=279502513523504 CPUtime=6.15 cores=0-7
/proc/26408/task/26414/stat : 26414 (cosoco) R 26405 26408 23655 0 -1 4202560 3749 0 0 0 615 0 0 0 20 0 9 0 558855643 655958016 8846 33554432000 4194304 6211132 140727669634464 140113780677224 5250321 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26415] ppid=26405 vsize=640584 memory=142092013709428 CPUtime=6.15 cores=0-7
/proc/26408/task/26415/stat : 26415 (cosoco) R 26405 26408 23655 0 -1 4202560 3553 0 0 0 615 0 0 0 20 0 9 0 558855643 655958016 8846 33554432000 4194304 6211132 140727669634464 140113772284520 5250321 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26416] ppid=26405 vsize=640584 memory=0 CPUtime=6.15 cores=0-7
/proc/26408/task/26416/stat : 26416 (cosoco) R 26405 26408 23655 0 -1 4202560 3862 0 0 0 615 0 0 0 20 0 9 0 558855643 655958016 8846 33554432000 4194304 6211132 140727669634464 140113763891656 5079305 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26417] ppid=26405 vsize=640584 memory=253158257380952 CPUtime=6.05 cores=0-7
/proc/26408/task/26417/stat : 26417 (cosoco) R 26405 26408 23655 0 -1 4202560 3780 0 0 0 605 0 0 0 20 0 9 0 558855643 655958016 8846 33554432000 4194304 6211132 140727669634464 140113755498808 5193786 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
Current children cumulated CPU time: 49.3 s
Current children cumulated vsize: 640584 KiB
Current children cumulated memory: 35384 KiB

[startup+12.7013 s]
/proc/loadavg: 8.76 6.60 6.29 9/201 26419
/proc/meminfo: memFree=30259952/32770624 swapFree=67002424/67108860
[pid=26408] ppid=26405 vsize=640584 memory=35488 CPUtime=100.4 cores=0-7

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

Current children cumulated CPU time: 101.2 s
Current children cumulated vsize: 640584 KiB
Current children cumulated memory: 35488 KiB

[startup+16.0013 s]*
/proc/loadavg: 8.76 6.60 6.29 9/201 26419
/proc/meminfo: memFree=30260572/32770624 swapFree=67002424/67108860
[pid=26408] ppid=26405 vsize=640584 memory=35492 CPUtime=126.83 cores=0-7
/proc/26408/stat : 26408 (cosoco) S 26405 26408 23655 0 -1 1077944320 48630 0 0 0 12676 7 0 0 20 0 9 0 558855629 655958016 8873 33554432000 4194304 6211132 140727669634464 140727669632720 140113837391607 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
/proc/26408/statm: 160146 8873 883 493 0 153451 0
[pid=26408/tid=26410] ppid=26405 vsize=640584 memory=6935054825532540783 CPUtime=15.86 cores=0-7
/proc/26408/task/26410/stat : 26410 (cosoco) R 26405 26408 23655 0 -1 4202560 4310 0 0 0 1585 1 0 0 20 0 9 0 558855643 655958016 8873 33554432000 4194304 6211132 140727669634464 140113814247960 5155844 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26411] ppid=26405 vsize=640584 memory=4872558044660077418 CPUtime=15.86 cores=0-7
/proc/26408/task/26411/stat : 26411 (cosoco) R 26405 26408 23655 0 -1 4202560 5299 0 0 0 1586 0 0 0 20 0 9 0 558855643 655958016 8873 33554432000 4194304 6211132 140727669634464 140113805856016 5250316 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26412] ppid=26405 vsize=640584 memory=-7025452035940392864 CPUtime=15.86 cores=0-7
/proc/26408/task/26412/stat : 26412 (cosoco) R 26405 26408 23655 0 -1 4202560 4710 0 0 0 1586 0 0 0 20 0 9 0 558855643 655958016 8873 33554432000 4194304 6211132 140727669634464 140113797462472 5389855 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26413] ppid=26405 vsize=640584 memory=0 CPUtime=15.84 cores=0-7
/proc/26408/task/26413/stat : 26413 (cosoco) R 26405 26408 23655 0 -1 4202560 5114 0 0 0 1584 0 0 0 20 0 9 0 558855643 655958016 8873 33554432000 4194304 6211132 140727669634464 140113789069848 5158038 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26414] ppid=26405 vsize=640584 memory=226911712235102 CPUtime=15.86 cores=0-7
/proc/26408/task/26414/stat : 26414 (cosoco) R 26405 26408 23655 0 -1 4202560 5407 0 0 0 1586 0 0 0 20 0 9 0 558855643 655958016 8873 33554432000 4194304 6211132 140727669634464 140113780677224 5158025 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26415] ppid=26405 vsize=640584 memory=-7816663703405220396 CPUtime=15.85 cores=0-7
/proc/26408/task/26415/stat : 26415 (cosoco) R 26405 26408 23655 0 -1 4202560 5481 0 0 0 1585 0 0 0 20 0 9 0 558855643 655958016 8873 33554432000 4194304 6211132 140727669634464 140113772284360 5193776 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26416] ppid=26405 vsize=640584 memory=3467824671636873280 CPUtime=15.86 cores=0-7
/proc/26408/task/26416/stat : 26416 (cosoco) R 26405 26408 23655 0 -1 4202560 5816 0 0 0 1585 1 0 0 20 0 9 0 558855643 655958016 8873 33554432000 4194304 6211132 140727669634464 140113763891656 5158052 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26417] ppid=26405 vsize=640584 memory=14008 CPUtime=15.62 cores=0-7
/proc/26408/task/26417/stat : 26417 (cosoco) R 26405 26408 23655 0 -1 4202560 5450 0 0 0 1562 0 0 0 20 0 9 0 558855643 655958016 8873 33554432000 4194304 6211132 140727669634464 140113755499792 5017569 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
Current children cumulated CPU time: 126.83 s
Current children cumulated vsize: 640584 KiB
Current children cumulated memory: 35492 KiB

[startup+19.2013 s]
/proc/loadavg: 8.70 6.62 6.30 9/201 26419
/proc/meminfo: memFree=30260724/32770624 swapFree=67002424/67108860
[pid=26408] ppid=26405 vsize=640584 memory=35512 CPUtime=152.31 cores=0-7
/proc/26408/stat : 26408 (cosoco) S 26405 26408 23655 0 -1 1077944320 55459 0 0 0 15223 8 0 0 20 0 9 0 558855629 655958016 8878 33554432000 4194304 6211132 140727669634464 140727669632720 140113837391607 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
/proc/26408/statm: 160146 8878 883 493 0 153451 0
[pid=26408/tid=26410] ppid=26405 vsize=640584 memory=35488 CPUtime=19.05 cores=0-7
/proc/26408/task/26410/stat : 26410 (cosoco) R 26405 26408 23655 0 -1 4202560 5115 0 0 0 1904 1 0 0 20 0 9 0 558855643 655958016 8878 33554432000 4194304 6211132 140727669634464 140113814248120 5075581 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26411] ppid=26405 vsize=640584 memory=35500 CPUtime=19.05 cores=0-7
/proc/26408/task/26411/stat : 26411 (cosoco) R 26405 26408 23655 0 -1 4202560 5899 0 0 0 1905 0 0 0 20 0 9 0 558855643 655958016 8878 33554432000 4194304 6211132 140727669634464 140113805855416 5158025 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26412] ppid=26405 vsize=640584 memory=35492 CPUtime=19.05 cores=0-7
/proc/26408/task/26412/stat : 26412 (cosoco) R 26405 26408 23655 0 -1 4202560 5532 0 0 0 1905 0 0 0 20 0 9 0 558855643 655958016 8878 33554432000 4194304 6211132 140727669634464 140113797462712 5250321 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26413] ppid=26405 vsize=640584 memory=35500 CPUtime=19.02 cores=0-7
/proc/26408/task/26413/stat : 26413 (cosoco) R 26405 26408 23655 0 -1 4202560 5939 0 0 0 1902 0 0 0 20 0 9 0 558855643 655958016 8878 33554432000 4194304 6211132 140727669634464 140113789069848 5250319 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26414] ppid=26405 vsize=640584 memory=35492 CPUtime=19.05 cores=0-7
/proc/26408/task/26414/stat : 26414 (cosoco) R 26405 26408 23655 0 -1 4202560 6212 0 0 0 1905 0 0 0 20 0 9 0 558855643 655958016 8878 33554432000 4194304 6211132 140727669634464 140113780677304 5250485 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26415] ppid=26405 vsize=640584 memory=35512 CPUtime=19.04 cores=0-7
/proc/26408/task/26415/stat : 26415 (cosoco) R 26405 26408 23655 0 -1 4202560 6513 0 0 0 1904 0 0 0 20 0 9 0 558855643 655958016 8878 33554432000 4194304 6211132 140727669634464 140113772284600 5193776 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26416] ppid=26405 vsize=640584 memory=1365 CPUtime=19.05 cores=0-7
/proc/26408/task/26416/stat : 26416 (cosoco) R 26405 26408 23655 0 -1 4202560 6769 0 0 0 1904 1 0 0 20 0 9 0 558855643 655958016 8878 33554432000 4194304 6211132 140727669634464 140113763891656 5193776 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26417] ppid=26405 vsize=640584 memory=35464 CPUtime=18.77 cores=0-7
/proc/26408/task/26417/stat : 26417 (cosoco) R 26405 26408 23655 0 -1 4202560 6437 0 0 0 1877 0 0 0 20 0 9 0 558855643 655958016 8878 33554432000 4194304 6211132 140727669634464 140113755499792 5017373 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
Current children cumulated CPU time: 152.31 s
Current children cumulated vsize: 640584 KiB
Current children cumulated memory: 35512 KiB

[startup+20.8013 s]
/proc/loadavg: 8.70 6.62 6.30 9/201 26419
/proc/meminfo: memFree=30260664/32770624 swapFree=67002424/67108860
[pid=26408] ppid=26405 vsize=640584 memory=35512 CPUtime=165.1 cores=0-7
/proc/26408/stat : 26408 (cosoco) S 26405 26408 23655 0 -1 1077944320 55469 0 0 0 16502 8 0 0 20 0 9 0 558855629 655958016 8878 33554432000 4194304 6211132 140727669634464 140727669632720 140113837391607 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
/proc/26408/statm: 160146 8878 883 493 0 153451 0
[pid=26408/tid=26410] ppid=26405 vsize=640584 memory=10556 CPUtime=20.65 cores=0-7
/proc/26408/task/26410/stat : 26410 (cosoco) R 26405 26408 23655 0 -1 4202560 5116 0 0 0 2064 1 0 0 20 0 9 0 558855643 655958016 8878 33554432000 4194304 6211132 140727669634464 140113814248136 5389855 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26411] ppid=26405 vsize=640584 memory=35512 CPUtime=20.65 cores=0-7
/proc/26408/task/26411/stat : 26411 (cosoco) R 26405 26408 23655 0 -1 4202560 5899 0 0 0 2065 0 0 0 20 0 9 0 558855643 655958016 8878 33554432000 4194304 6211132 140727669634464 140113805856016 5250485 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26412] ppid=26405 vsize=640584 memory=35512 CPUtime=20.65 cores=0-7
/proc/26408/task/26412/stat : 26412 (cosoco) R 26405 26408 23655 0 -1 4202560 5532 0 0 0 2065 0 0 0 20 0 9 0 558855643 655958016 8878 33554432000 4194304 6211132 140727669634464 140113797462712 5390192 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26413] ppid=26405 vsize=640584 memory=35512 CPUtime=20.62 cores=0-7
/proc/26408/task/26413/stat : 26413 (cosoco) R 26405 26408 23655 0 -1 4202560 5939 0 0 0 2062 0 0 0 20 0 9 0 558855643 655958016 8878 33554432000 4194304 6211132 140727669634464 140113789069848 5193776 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26414] ppid=26405 vsize=640584 memory=1363 CPUtime=20.65 cores=0-7
/proc/26408/task/26414/stat : 26414 (cosoco) R 26405 26408 23655 0 -1 4202560 6216 0 0 0 2065 0 0 0 20 0 9 0 558855643 655958016 8878 33554432000 4194304 6211132 140727669634464 140113780677304 5145444 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26415] ppid=26405 vsize=640584 memory=1365 CPUtime=20.64 cores=0-7
/proc/26408/task/26415/stat : 26415 (cosoco) R 26405 26408 23655 0 -1 4202560 6517 0 0 0 2064 0 0 0 20 0 9 0 558855643 655958016 8878 33554432000 4194304 6211132 140727669634464 140113772284440 5250319 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26416] ppid=26405 vsize=640584 memory=6935054825532540783 CPUtime=20.65 cores=0-7
/proc/26408/task/26416/stat : 26416 (cosoco) R 26405 26408 23655 0 -1 4202560 6770 0 0 0 2064 1 0 0 20 0 9 0 558855643 655958016 8878 33554432000 4194304 6211132 140727669634464 140113763891656 5158025 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26417] ppid=26405 vsize=640584 memory=1424 CPUtime=20.35 cores=0-7
/proc/26408/task/26417/stat : 26417 (cosoco) R 26405 26408 23655 0 -1 4202560 6437 0 0 0 2035 0 0 0 20 0 9 0 558855643 655958016 8878 33554432000 4194304 6211132 140727669634464 140113755499792 5145444 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
Current children cumulated CPU time: 165.1 s
Current children cumulated vsize: 640584 KiB
Current children cumulated memory: 35512 KiB

[startup+21.2013 s]
/proc/loadavg: 8.70 6.62 6.30 9/201 26419
/proc/meminfo: memFree=30261656/32770624 swapFree=67002424/67108860
[pid=26408] ppid=26405 vsize=640584 memory=35512 CPUtime=168.29 cores=0-7
/proc/26408/stat : 26408 (cosoco) S 26405 26408 23655 0 -1 1077944320 55473 0 0 0 16821 8 0 0 20 0 9 0 558855629 655958016 8878 33554432000 4194304 6211132 140727669634464 140727669632720 140113837391607 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
/proc/26408/statm: 160146 8878 883 493 0 153451 0
[pid=26408/tid=26410] ppid=26405 vsize=640584 memory=2016 CPUtime=21.05 cores=0-7
/proc/26408/task/26410/stat : 26410 (cosoco) R 26405 26408 23655 0 -1 4202560 5117 0 0 0 2104 1 0 0 20 0 9 0 558855643 655958016 8878 33554432000 4194304 6211132 140727669634464 140113814248136 5389840 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26411] ppid=26405 vsize=640584 memory=6935054825532540783 CPUtime=21.05 cores=0-7
/proc/26408/task/26411/stat : 26411 (cosoco) R 26405 26408 23655 0 -1 4202560 5899 0 0 0 2105 0 0 0 20 0 9 0 558855643 655958016 8878 33554432000 4194304 6211132 140727669634464 140113805856016 5389855 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26412] ppid=26405 vsize=640584 memory=0 CPUtime=21.05 cores=0-7
/proc/26408/task/26412/stat : 26412 (cosoco) R 26405 26408 23655 0 -1 4202560 5532 0 0 0 2105 0 0 0 20 0 9 0 558855643 655958016 8878 33554432000 4194304 6211132 140727669634464 140113797462712 5145444 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26413] ppid=26405 vsize=640584 memory=576460756337256238 CPUtime=21.02 cores=0-7
/proc/26408/task/26413/stat : 26413 (cosoco) R 26405 26408 23655 0 -1 4202560 5940 0 0 0 2102 0 0 0 20 0 9 0 558855643 655958016 8878 33554432000 4194304 6211132 140727669634464 140113789069848 5158038 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26414] ppid=26405 vsize=640584 memory=288289969695621895 CPUtime=21.05 cores=0-7
/proc/26408/task/26414/stat : 26414 (cosoco) R 26405 26408 23655 0 -1 4202560 6216 0 0 0 2105 0 0 0 20 0 9 0 558855643 655958016 8878 33554432000 4194304 6211132 140727669634464 140113780677304 5390192 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26415] ppid=26405 vsize=640584 memory=4151467 CPUtime=21.04 cores=0-7
/proc/26408/task/26415/stat : 26415 (cosoco) R 26405 26408 23655 0 -1 4202560 6517 0 0 0 2104 0 0 0 20 0 9 0 558855643 655958016 8878 33554432000 4194304 6211132 140727669634464 140113772284440 5193776 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26416] ppid=26405 vsize=640584 memory=6944656592455097440 CPUtime=21.05 cores=0-7
/proc/26408/task/26416/stat : 26416 (cosoco) R 26405 26408 23655 0 -1 4202560 6772 0 0 0 2104 1 0 0 20 0 9 0 558855643 655958016 8878 33554432000 4194304 6211132 140727669634464 140113763891656 5158008 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26417] ppid=26405 vsize=640584 memory=35512 CPUtime=20.74 cores=0-7
/proc/26408/task/26417/stat : 26417 (cosoco) R 26405 26408 23655 0 -1 4202560 6437 0 0 0 2074 0 0 0 20 0 9 0 558855643 655958016 8878 33554432000 4194304 6211132 140727669634464 140113755499792 5145456 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
Current children cumulated CPU time: 168.29 s
Current children cumulated vsize: 640584 KiB
Current children cumulated memory: 35512 KiB

[startup+21.4013 s]
/proc/loadavg: 8.70 6.62 6.30 9/201 26419
/proc/meminfo: memFree=30261656/32770624 swapFree=67002424/67108860
[pid=26408] ppid=26405 vsize=640584 memory=35512 CPUtime=169.89 cores=0-7
/proc/26408/stat : 26408 (cosoco) S 26405 26408 23655 0 -1 1077944320 55473 0 0 0 16981 8 0 0 20 0 9 0 558855629 655958016 8878 33554432000 4194304 6211132 140727669634464 140727669632720 140113837391607 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
/proc/26408/statm: 160146 8878 883 493 0 153451 0
[pid=26408/tid=26410] ppid=26405 vsize=640584 memory=6935054825532540783 CPUtime=21.25 cores=0-7
/proc/26408/task/26410/stat : 26410 (cosoco) R 26405 26408 23655 0 -1 4202560 5117 0 0 0 2124 1 0 0 20 0 9 0 558855643 655958016 8878 33554432000 4194304 6211132 140727669634464 140113814248120 5389840 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26411] ppid=26405 vsize=640584 memory=1772 CPUtime=21.25 cores=0-7
/proc/26408/task/26411/stat : 26411 (cosoco) R 26405 26408 23655 0 -1 4202560 5899 0 0 0 2125 0 0 0 20 0 9 0 558855643 655958016 8878 33554432000 4194304 6211132 140727669634464 140113805856016 5250319 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26412] ppid=26405 vsize=640584 memory=2648 CPUtime=21.25 cores=0-7
/proc/26408/task/26412/stat : 26412 (cosoco) R 26405 26408 23655 0 -1 4202560 5532 0 0 0 2125 0 0 0 20 0 9 0 558855643 655958016 8878 33554432000 4194304 6211132 140727669634464 140113797462712 5389855 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26413] ppid=26405 vsize=640584 memory=6225205315165514091 CPUtime=21.22 cores=0-7
/proc/26408/task/26413/stat : 26413 (cosoco) R 26405 26408 23655 0 -1 4202560 5940 0 0 0 2122 0 0 0 20 0 9 0 558855643 655958016 8878 33554432000 4194304 6211132 140727669634464 140113789069848 5250321 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26414] ppid=26405 vsize=640584 memory=5796251954847247441 CPUtime=21.25 cores=0-7
/proc/26408/task/26414/stat : 26414 (cosoco) R 26405 26408 23655 0 -1 4202560 6216 0 0 0 2125 0 0 0 20 0 9 0 558855643 655958016 8878 33554432000 4194304 6211132 140727669634464 140113780677304 5145515 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26415] ppid=26405 vsize=640584 memory=288230574492221466 CPUtime=21.24 cores=0-7
/proc/26408/task/26415/stat : 26415 (cosoco) R 26405 26408 23655 0 -1 4202560 6517 0 0 0 2124 0 0 0 20 0 9 0 558855643 655958016 8878 33554432000 4194304 6211132 140727669634464 140113772284440 5193786 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26416] ppid=26405 vsize=640584 memory=0 CPUtime=21.25 cores=0-7
/proc/26408/task/26416/stat : 26416 (cosoco) R 26405 26408 23655 0 -1 4202560 6772 0 0 0 2124 1 0 0 20 0 9 0 558855643 655958016 8878 33554432000 4194304 6211132 140727669634464 140113763891656 5250325 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26417] ppid=26405 vsize=640584 memory=4638804718228362084 CPUtime=20.94 cores=0-7
/proc/26408/task/26417/stat : 26417 (cosoco) R 26405 26408 23655 0 -1 4202560 6437 0 0 0 2094 0 0 0 20 0 9 0 558855643 655958016 8878 33554432000 4194304 6211132 140727669634464 140113755499792 5145444 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
Current children cumulated CPU time: 169.89 s
Current children cumulated vsize: 640584 KiB
Current children cumulated memory: 35512 KiB

[startup+21.5013 s]
/proc/loadavg: 8.70 6.62 6.30 9/201 26419
/proc/meminfo: memFree=30261656/32770624 swapFree=67002424/67108860
[pid=26408] ppid=26405 vsize=640584 memory=35512 CPUtime=170.69 cores=0-7
/proc/26408/stat : 26408 (cosoco) S 26405 26408 23655 0 -1 1077944320 55473 0 0 0 17061 8 0 0 20 0 9 0 558855629 655958016 8878 33554432000 4194304 6211132 140727669634464 140727669632720 140113837391607 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
/proc/26408/statm: 160146 8878 883 493 0 153451 0
[pid=26408/tid=26410] ppid=26405 vsize=640584 memory=35512 CPUtime=21.35 cores=0-7
/proc/26408/task/26410/stat : 26410 (cosoco) R 26405 26408 23655 0 -1 4202560 5117 0 0 0 2134 1 0 0 20 0 9 0 558855643 655958016 8878 33554432000 4194304 6211132 140727669634464 140113814248120 5389851 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26411] ppid=26405 vsize=640584 memory=35512 CPUtime=21.35 cores=0-7
/proc/26408/task/26411/stat : 26411 (cosoco) R 26405 26408 23655 0 -1 4202560 5899 0 0 0 2135 0 0 0 20 0 9 0 558855643 655958016 8878 33554432000 4194304 6211132 140727669634464 140113805856016 5389840 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26412] ppid=26405 vsize=640584 memory=35492 CPUtime=21.35 cores=0-7
/proc/26408/task/26412/stat : 26412 (cosoco) R 26405 26408 23655 0 -1 4202560 5532 0 0 0 2135 0 0 0 20 0 9 0 558855643 655958016 8878 33554432000 4194304 6211132 140727669634464 140113797462712 5145246 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26413] ppid=26405 vsize=640584 memory=35512 CPUtime=21.32 cores=0-7
/proc/26408/task/26413/stat : 26413 (cosoco) R 26405 26408 23655 0 -1 4202560 5940 0 0 0 2132 0 0 0 20 0 9 0 558855643 655958016 8878 33554432000 4194304 6211132 140727669634464 140113789069848 5158217 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26414] ppid=26405 vsize=640584 memory=0 CPUtime=21.35 cores=0-7
/proc/26408/task/26414/stat : 26414 (cosoco) R 26405 26408 23655 0 -1 4202560 6216 0 0 0 2135 0 0 0 20 0 9 0 558855643 655958016 8878 33554432000 4194304 6211132 140727669634464 140113780677304 5389851 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26415] ppid=26405 vsize=640584 memory=35512 CPUtime=21.34 cores=0-7
/proc/26408/task/26415/stat : 26415 (cosoco) R 26405 26408 23655 0 -1 4202560 6517 0 0 0 2134 0 0 0 20 0 9 0 558855643 655958016 8878 33554432000 4194304 6211132 140727669634464 140113772284440 5158055 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26416] ppid=26405 vsize=640584 memory=279502513486016 CPUtime=21.35 cores=0-7
/proc/26408/task/26416/stat : 26416 (cosoco) R 26405 26408 23655 0 -1 4202560 6772 0 0 0 2134 1 0 0 20 0 9 0 558855643 655958016 8878 33554432000 4194304 6211132 140727669634464 140113763891656 5158060 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
[pid=26408/tid=26417] ppid=26405 vsize=640584 memory=35512 CPUtime=21.04 cores=0-7
/proc/26408/task/26417/stat : 26417 (cosoco) R 26405 26408 23655 0 -1 4202560 6437 0 0 0 2104 0 0 0 20 0 9 0 558855643 655958016 8878 33554432000 4194304 6211132 140727669634464 140113755499792 5145554 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20574208 140727669642262 140727669642354 140727669642354 140727669645262 0
Current children cumulated CPU time: 170.69 s
Current children cumulated vsize: 640584 KiB
Current children cumulated memory: 35512 KiB

Child status: 0
Real time (s): 21.5717
CPU time (s): 171.208
CPU user time (s): 171.121
CPU system time (s): 0.086956
CPU usage (%): 793.67
Max. virtual memory (cumulated for all children) (KiB): 640584
Max. memory (cumulated for all children) (KiB): 35512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 171.121
system time used= 0.086956
maximum resident set size= 35536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55514
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= 85
involuntary context switches= 1506


# summary of solver processes directly reported to runsolver:
#   pid: 26408
#   total CPU time (s): 171.208
#   total CPU user time (s): 171.121
#   total CPU system time (s): 0.086956

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.114864 second user time and 0.236332 second system time

The end

Launcher Data 

Begin job on node146 at 2019-09-30 09:42:56
IDJOB=4409902
IDBENCH=133272
IDSOLVER=2878
FILE ID=node146/4409902-1569829418
RUNJOBID= node146-1569818084-23682
PBS_JOBID= 21705925
Free space on /tmp= 62032 MiB

SOLVER NAME= cosoco 2.0 parallel
BENCH NAME= XCSP17/Mario/Mario-zinc-s1/Mario-t-hard-2.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409902-1569829418/watcher-4409902-1569829418 -o /tmp/evaluation-result-4409902-1569829418/solver-4409902-1569829418 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node146-1569818084-23682 --watchdog 312  cosoco -model -nbcores=8 HOME/instance-4409902-1569829418.xml

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

MD5SUM BENCH= 2b9b9d57997e47756252872b7d7d2054
RANDOM SEED=709946055

node146.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	: 5332.90
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	: 5332.90
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	: 5332.90
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	: 5332.90
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:        30291728 kB
MemAvailable:   31868816 kB
Buffers:          137020 kB
Cached:          1776632 kB
SwapCached:         3676 kB
Active:          1067500 kB
Inactive:         853860 kB
Active(anon):       4188 kB
Inactive(anon):    84340 kB
Active(file):    1063312 kB
Inactive(file):   769520 kB
Unevictable:      109348 kB
Mlocked:          109348 kB
SwapTotal:      67108860 kB
SwapFree:       67002424 kB
Dirty:              2908 kB
Writeback:             8 kB
AnonPages:        113116 kB
Mapped:            26824 kB
Shmem:             72200 kB
Slab:             149244 kB
SReclaimable:     120184 kB
SUnreclaim:        29060 kB
KernelStack:        3456 kB
PageTables:         5060 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     541092 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:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 62028 MiB
End job on node146 at 2019-09-30 09:43:17