Trace number 4398537

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 parallelWrong Opt.70 37.8682 4.8098

General information on the benchmark

NameFastfood/Fastfood-m1-s1/
Fastfood-ff65.xml
MD5SUM0deffa9f0e673ce4a3cf2d2074b556a7
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark63
Best CPU time to get the best result obtained on this benchmark10.0508
Satisfiable
(Un)Satisfiability was proved
Number of variables560
Number of constraints545
Number of domains27
Minimum domain size23
Maximum domain size26
Distribution of domain sizes[{"size":23,"count":17},{"size":25,"count":51},{"size":26,"count":492}]
Minimum variable degree2
Maximum variable degree33
Distribution of variable degrees[{"degree":2,"count":544},{"degree":33,"count":16}]
Minimum constraint arity2
Maximum constraint arity17
Distribution of constraint arities[{"arity":2,"count":512},{"arity":16,"count":1},{"arity":17,"count":32}]
Number of extensional constraints512
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":512},{"type":"ordered","count":1},{"type":"minimum","count":32}]
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.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-4398537-1568610153.xml 
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.04	0
0.00/0.07	c enable optimization
0.00/0.07	c ========================================[ Problem Statistics ]===========================================
0.00/0.07	c |                                                                                                       
0.00/0.07	c |  Parse time        :         0.04 s 
0.00/0.07	c |
0.00/0.07	c |               Variables: 560
0.00/0.07	c |            Domain Sizes: 23..26
0.00/0.07	c |
0.00/0.07	c |             Constraints: 560
0.00/0.07	c |                   Arity: 2..32  -- Binary: 527
0.00/0.07	c | 
0.00/0.07	c |                   Types: 
0.00/0.07	c |                          (X - Y < k): 15
0.00/0.07	c |                          Extension: 512  (nb tuples: 26..26) -- (shared: 3888)
0.00/0.07	c |                          Minimum Variable: 32
0.00/0.07	c |                          Sum: 1
0.00/0.07	c |                          
0.00/0.07	c |               Objective: Minimize Sum
0.00/0.07	
0.00/0.07	c =========================================================================================================
0.00/0.07	c Parallel mode: Portfolio
0.00/0.07	c [pFactory][Group N°0] created (threads:8).
0.00/0.07	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
0.00/0.07	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
0.00/0.07	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
0.00/0.07	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
0.00/0.07	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
0.00/0.07	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
0.00/0.07	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
0.00/0.07	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
0.00/0.07	c [pFactory][Group N°0] concurrent mode: enabled.
0.00/0.07	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
0.00/0.07	c [pFactory][Group N°0] task 7 launched on thread 4.
0.00/0.07	c [pFactory][Group N°0] task 6 launched on thread 1.
0.00/0.07	c [pFactory][Group N°0] task 5 launched on thread 2.
0.00/0.07	c [pFactory][Group N°0] task 4 launched on thread 0.
0.00/0.07	c [pFactory][Group N°0] task 3 launched on thread 6.
0.00/0.07	c [pFactory][Group N°0] task 2 launched on thread 7.
0.00/0.07	c [pFactory][Group N°0] task 1 launched on thread 5.
0.00/0.07	c [pFactory][Group N°0] task 0 launched on thread 3.
0.00/0.07	o 477
0.00/0.07	o 124
0.00/0.10	o 113
0.00/0.10	o 89
0.48/0.19	o 86
2.98/0.49	o 84
5.13/0.70	o 83
5.94/0.89	o 81
6.73/0.94	o 78
8.40/1.11	o 75
11.52/1.52	o 72
25.89/3.31	o 71
33.87/4.32	o 70
37.07/4.80	c [pFactory][Group N°0] concurent mode: thread 6 has won with the task 3.
37.07/4.80	c [pFactory][Group N°0] Thread N°0 is joined.
37.07/4.80	c [pFactory][Group N°0] Thread N°1 is joined.
37.07/4.80	c [pFactory][Group N°0] Thread N°2 is joined.
37.07/4.80	c [pFactory][Group N°0] Thread N°3 is joined.
37.07/4.80	c [pFactory][Group N°0] Thread N°4 is joined.
37.07/4.80	c [pFactory][Group N°0] Thread N°5 is joined.
37.07/4.80	c [pFactory][Group N°0] Thread N°6 is joined.
37.07/4.80	c [pFactory][Group N°0] Thread N°7 is joined.
37.07/4.80	c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°6)
37.07/4.80	s OPTIMUM FOUND
37.07/4.80	c call to solver        : 32
37.07/4.80	c
37.07/4.80	c restarts              : 1117        
37.07/4.80	c conflicts             : 2942         (78 /sec)
37.07/4.80	c decisions             : 81075        (2144 /sec)
37.07/4.80	c propagations          : 4299151     (113711 /sec)
37.07/4.80	c root propagations     : 8317        
37.07/4.80	c filter calls          : 2649263        (70072 /sec)
37.07/4.80	c useless filter calls  : 969165         (36 %)
37.07/4.80	c Memory used           : 592.38 MB
37.07/4.80	c Best bound time (wc)  : 4.32092 s
37.07/4.80	c CPU time              : 37.8076 s
37.07/4.80	c real time             : 4.79598 s
37.07/4.80	
37.07/4.80	
37.07/4.80	v <instantiation type='solution' cost='70'>
37.07/4.80	v <list>dr[0] dr[10] dr[11] dr[12] dr[13] dr[14] dr[15] dr[16] dr[17] dr[18] dr[19] dr[1] dr[20] dr[21] dr[22] dr[23] dr[24] dr[25] dr[26] dr[27] dr[28] dr[29] dr[2] dr[30] dr[31] dr[3] dr[4] dr[5] dr[6] dr[7] dr[8] dr[9] drd[0][0] drd[0][10] drd[0][11] drd[0][12] drd[0][13] drd[0][14] drd[0][15] drd[0][1] drd[0][2] drd[0][3] drd[0][4] drd[0][5] drd[0][6] drd[0][7] drd[0][8] drd[0][9] drd[10][0] drd[10][10] drd[10][11] drd[10][12] drd[10][13] drd[10][14] drd[10][15] drd[10][1] drd[10][2] drd[10][3] drd[10][4] drd[10][5] drd[10][6] drd[10][7] drd[10][8] drd[10][9] drd[11][0] drd[11][10] drd[11][11] drd[11][12] drd[11][13] drd[11][14] drd[11][15] drd[11][1] drd[11][2] drd[11][3] drd[11][4] drd[11][5] drd[11][6] drd[11][7] drd[11][8] drd[11][9] drd[12][0] drd[12][10] drd[12][11] drd[12][12] drd[12][13] drd[12][14] drd[12][15] drd[12][1] drd[12][2] drd[12][3] drd[12][4] drd[12][5] drd[12][6] drd[12][7] drd[12][8] drd[12][9] drd[13][0] drd[13][10] drd[13][11] drd[13][12] drd[13][13] drd[13][14] drd[13][15] drd[13][1] drd[13][2] drd[13][3] drd[13][4] drd[13][5] drd[13][6] drd[13][7] drd[13][8] drd[13][9] drd[14][0] drd[14][10] drd[14][11] drd[14][12] drd[14][13] drd[14][14] drd[14][15] drd[14][1] drd[14][2] drd[14][3] drd[14][4] drd[14][5] drd[14][6] drd[14][7] drd[14][8] drd[14][9] drd[15][0] drd[15][10] drd[15][11] drd[15][12] drd[15][13] drd[15][14] drd[15][15] drd[15][1] drd[15][2] drd[15][3] drd[15][4] drd[15][5] drd[15][6] drd[15][7] drd[15][8] drd[15][9] drd[16][0] drd[16][10] drd[16][11] drd[16][12] drd[16][13] drd[16][14] drd[16][15] drd[16][1] drd[16][2] drd[16][3] drd[16][4] drd[16][5] drd[16][6] drd[16][7] drd[16][8] drd[16][9] drd[17][0] drd[17][10] drd[17][11] drd[17][12] drd[17][13] drd[17][14] drd[17][15] drd[17][1] drd[17][2] drd[17][3] drd[17][4] drd[17][5] drd[17][6] drd[17][7] drd[17][8] drd[17][9] drd[18][0] drd[18][10] drd[18][11] drd[18][12] drd[18][13] drd[18][14] drd[18][15] drd[18][1] drd[18][2] drd[18][3] drd[18][4] drd[18][5] drd[18][6] drd[18][7] drd[18][8] drd[18][9] drd[19][0] drd[19][10] drd[19][11] drd[19][12] drd[19][13] drd[19][14] drd[19][15] drd[19][1] drd[19][2] drd[19][3] drd[19][4] drd[19][5] drd[19][6] drd[19][7] drd[19][8] drd[19][9] drd[1][0] drd[1][10] drd[1][11] drd[1][12] drd[1][13] drd[1][14] drd[1][15] drd[1][1] drd[1][2] drd[1][3] drd[1][4] drd[1][5] drd[1][6] drd[1][7] drd[1][8] drd[1][9] drd[20][0] drd[20][10] drd[20][11] drd[20][12] drd[20][13] drd[20][14] drd[20][15] drd[20][1] drd[20][2] drd[20][3] drd[20][4] drd[20][5] drd[20][6] drd[20][7] drd[20][8] drd[20][9] drd[21][0] drd[21][10] drd[21][11] drd[21][12] drd[21][13] drd[21][14] drd[21][15] drd[21][1] drd[21][2] drd[21][3] drd[21][4] drd[21][5] drd[21][6] drd[21][7] drd[21][8] drd[21][9] drd[22][0] drd[22][10] drd[22][11] drd[22][12] drd[22][13] drd[22][14] drd[22][15] drd[22][1] drd[22][2] drd[22][3] drd[22][4] drd[22][5] drd[22][6] drd[22][7] drd[22][8] drd[22][9] drd[23][0] drd[23][10] drd[23][11] drd[23][12] drd[23][13] drd[23][14] drd[23][15] drd[23][1] drd[23][2] drd[23][3] drd[23][4] drd[23][5] drd[23][6] drd[23][7] drd[23][8] drd[23][9] drd[24][0] drd[24][10] drd[24][11] drd[24][12] drd[24][13] drd[24][14] drd[24][15] drd[24][1] drd[24][2] drd[24][3] drd[24][4] drd[24][5] drd[24][6] drd[24][7] drd[24][8] drd[24][9] drd[25][0] drd[25][10] drd[25][11] drd[25][12] drd[25][13] drd[25][14] drd[25][15] drd[25][1] drd[25][2] drd[25][3] drd[25][4] drd[25][5] drd[25][6] drd[25][7] drd[25][8] drd[25][9] drd[26][0] drd[26][10] drd[26][11] drd[26][12] drd[26][13] drd[26][14] drd[26][15] drd[26][1] drd[26][2] drd[26][3] drd[26][4] drd[26][5] drd[26][6] drd[26][7] drd[26][8] drd[26][9] drd[27][0] drd[27][10] drd[27][11] drd[27][12] drd[27][13] drd[27][14] drd[27][15] drd[27][1] drd[27][2] drd[27][3] drd[27][4] drd[27][5] drd[27][6] drd[27][7] drd[27][8] drd[27][9] drd[28][0] drd[28][10] drd[28][11] drd[28][12] drd[28][13] drd[28][14] drd[28][15] drd[28][1] drd[28][2] drd[28][3] drd[28][4] drd[28][5] drd[28][6] drd[28][7] drd[28][8] drd[28][9] drd[29][0] drd[29][10] drd[29][11] drd[29][12] drd[29][13] drd[29][14] drd[29][15] drd[29][1] drd[29][2] drd[29][3] drd[29][4] drd[29][5] drd[29][6] drd[29][7] drd[29][8] drd[29][9] drd[2][0] drd[2][10] drd[2][11] drd[2][12] drd[2][13] drd[2][14] drd[2][15] drd[2][1] drd[2][2] drd[2][3] drd[2][4] drd[2][5] drd[2][6] drd[2][7] drd[2][8] drd[2][9] drd[30][0] drd[30][10] drd[30][11] drd[30][12] drd[30][13] drd[30][14] drd[30][15] drd[30][1] drd[30][2] drd[30][3] drd[30][4] drd[30][5] drd[30][6] drd[30][7] drd[30][8] drd[30][9] drd[31][0] drd[31][10] drd[31][11] drd[31][12] drd[31][13] drd[31][14] drd[31][15] drd[31][1] drd[31][2] drd[31][3] drd[31][4] drd[31][5] drd[31][6] drd[31][7] drd[31][8] drd[31][9] drd[3][0] drd[3][10] drd[3][11] drd[3][12] drd[3][13] drd[3][14] drd[3][15] drd[3][1] drd[3][2] drd[3][3] drd[3][4] drd[3][5] drd[3][6] drd[3][7] drd[3][8] drd[3][9] drd[4][0] drd[4][10] drd[4][11] drd[4][12] drd[4][13] drd[4][14] drd[4][15] drd[4][1] drd[4][2] drd[4][3] drd[4][4] drd[4][5] drd[4][6] drd[4][7] drd[4][8] drd[4][9] drd[5][0] drd[5][10] drd[5][11] drd[5][12] drd[5][13] drd[5][14] drd[5][15] drd[5][1] drd[5][2] drd[5][3] drd[5][4] drd[5][5] drd[5][6] drd[5][7] drd[5][8] drd[5][9] drd[6][0] drd[6][10] drd[6][11] drd[6][12] drd[6][13] drd[6][14] drd[6][15] drd[6][1] drd[6][2] drd[6][3] drd[6][4] drd[6][5] drd[6][6] drd[6][7] drd[6][8] drd[6][9] drd[7][0] drd[7][10] drd[7][11] drd[7][12] drd[7][13] drd[7][14] drd[7][15] drd[7][1] drd[7][2] drd[7][3] drd[7][4] drd[7][5] drd[7][6] drd[7][7] drd[7][8] drd[7][9] drd[8][0] drd[8][10] drd[8][11] drd[8][12] drd[8][13] drd[8][14] drd[8][15] drd[8][1] drd[8][2] drd[8][3] drd[8][4] drd[8][5] drd[8][6] drd[8][7] drd[8][8] drd[8][9] drd[9][0] drd[9][10] drd[9][11] drd[9][12] drd[9][13] drd[9][14] drd[9][15] drd[9][1] drd[9][2] drd[9][3] drd[9][4] drd[9][5] drd[9][6] drd[9][7] drd[9][8] drd[9][9] x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] </list>
37.07/4.80	v <values>15 3 2 0 0 0 0 0 6 9 0 8 0 0 0 0 4 4 0 0 0 11 0 2 0 0 0 6 0 0 0 0 114 330 375 409 469 524 574 96 79 50 39 15 23 50 72 101 72 372 417 451 511 566 616 54 37 8 3 27 65 92 114 143 2 442 487 521 581 636 686 16 33 62 73 97 135 162 184 213 0 444 489 523 583 638 688 18 35 64 75 99 137 164 186 215 688 244 199 165 105 50 0 670 653 624 613 589 551 524 502 473 18 426 471 505 565 620 670 0 17 46 57 81 119 146 168 197 489 45 0 34 94 149 199 471 454 425 414 390 352 325 303 274 489 45 0 34 94 149 199 471 454 425 414 390 352 325 303 274 81 363 408 442 502 557 607 63 46 17 6 18 56 83 105 134 44 400 445 479 539 594 644 26 9 20 31 55 93 120 142 171 638 194 149 115 55 0 50 620 603 574 563 539 501 474 452 423 27 417 462 496 556 611 661 9 8 37 48 72 110 137 159 188 638 194 149 115 55 0 50 620 603 574 563 539 501 474 452 423 444 0 45 79 139 194 244 426 409 380 369 345 307 280 258 229 444 0 45 79 139 194 244 426 409 380 369 345 307 280 258 229 215 229 274 308 368 423 473 197 180 151 140 116 78 51 29 0 39 405 450 484 544 599 649 21 4 25 36 60 98 125 147 176 39 405 450 484 544 599 649 21 4 25 36 60 98 125 147 176 583 139 94 60 0 55 105 565 548 519 508 484 446 419 397 368 583 139 94 60 0 55 105 565 548 519 508 484 446 419 397 368 186 258 303 337 397 452 502 168 151 122 111 87 49 22 0 29 11 455 500 534 594 649 699 29 46 75 86 110 148 175 197 226 99 345 390 424 484 539 589 81 64 35 24 0 38 65 87 116 525 81 36 2 58 113 163 507 490 461 450 426 388 361 339 310 523 79 34 0 60 115 165 505 488 459 448 424 386 359 337 308 99 345 390 424 484 539 589 81 64 35 24 0 38 65 87 116 64 380 425 459 519 574 624 46 29 0 11 35 73 100 122 151 58 386 431 465 525 580 630 40 23 6 17 41 79 106 128 157 164 280 325 359 419 474 524 146 129 100 89 65 27 0 22 51 35 409 454 488 548 603 653 17 0 29 40 64 102 129 151 180 137 307 352 386 446 501 551 119 102 73 62 38 0 27 49 78 75 369 414 448 508 563 613 57 40 11 0 24 62 89 111 140 23 467 512 546 606 661 711 41 58 87 98 122 160 187 209 238 </values>
37.07/4.80	v </instantiation>
37.07/4.80	

Verifier Data

OK	70

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398537-1568610153/watcher-4398537-1568610153 -o /tmp/evaluation-result-4398537-1568610153/solver-4398537-1568610153 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568598281-5777 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398537-1568610153.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=8664, runsolver pid=8661

[startup+0.104523 s]*
/proc/loadavg: 7.83 8.24 8.42 9/202 8673
/proc/meminfo: memFree=31947896/32770624 swapFree=66974136/67108860
[pid=8664] ppid=8661 vsize=639380 memory=37964 CPUtime=0.48 cores=0-7
/proc/8664/stat : 8664 (cosoco) S 8661 8664 5749 0 -1 1077944320 10877 0 0 0 46 2 0 0 20 0 9 0 437277924 654725120 9491 33554432000 4194304 6211092 140724172371872 140724172370128 139697258184439 0 0 4096 8405026 18446744073709551615 0 0 17 6 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
/proc/8664/statm: 159845 9491 905 493 0 153150 0
[pid=8664/tid=8666] ppid=8661 vsize=639380 memory=8317482817917895235 CPUtime=0.05 cores=0-7
/proc/8664/task/8666/stat : 8666 (cosoco) R 8661 8664 5749 0 -1 4202560 581 0 0 0 5 0 0 0 20 0 9 0 437277929 654725120 9491 33554432000 4194304 6211092 140724172371872 139697235040872 5126560 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8667] ppid=8661 vsize=639380 memory=4342489072520795238 CPUtime=0.05 cores=0-7
/proc/8664/task/8667/stat : 8667 (cosoco) R 8661 8664 5749 0 -1 4202560 526 0 0 0 5 0 0 0 20 0 9 0 437277929 654725120 9491 33554432000 4194304 6211092 140724172371872 139697226648168 5126560 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8668] ppid=8661 vsize=639380 memory=139793559312000 CPUtime=0.05 cores=0-7
/proc/8664/task/8668/stat : 8668 (cosoco) R 8661 8664 5749 0 -1 4202560 533 0 0 0 5 0 0 0 20 0 9 0 437277929 654725120 9491 33554432000 4194304 6211092 140724172371872 139697218256200 5389955 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8669] ppid=8661 vsize=639380 memory=0 CPUtime=0.05 cores=0-7
/proc/8664/task/8669/stat : 8669 (cosoco) R 8661 8664 5749 0 -1 4202560 490 0 0 0 5 0 0 0 20 0 9 0 437277929 654725120 9491 33554432000 4194304 6211092 140724172371872 139697209862552 139697242139454 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8670] ppid=8661 vsize=639380 memory=0 CPUtime=0.05 cores=0-7
/proc/8664/task/8670/stat : 8670 (cosoco) R 8661 8664 5749 0 -1 4202560 545 0 0 0 5 0 0 0 20 0 9 0 437277929 654725120 9491 33554432000 4194304 6211092 140724172371872 139697201470736 5017476 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8671] ppid=8661 vsize=639380 memory=0 CPUtime=0.05 cores=0-7
/proc/8664/task/8671/stat : 8671 (cosoco) R 8661 8664 5749 0 -1 4202560 485 0 0 0 5 0 0 0 20 0 9 0 437277929 654725120 9491 33554432000 4194304 6211092 140724172371872 139697193077352 5250224 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8672] ppid=8661 vsize=639380 memory=-1 CPUtime=0.05 cores=0-7
/proc/8664/task/8672/stat : 8672 (cosoco) R 8661 8664 5749 0 -1 4202560 533 0 0 0 5 0 0 0 20 0 9 0 437277929 654725120 9491 33554432000 4194304 6211092 140724172371872 139697184685328 5250272 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8673] ppid=8661 vsize=639380 memory=0 CPUtime=0.04 cores=0-7
/proc/8664/task/8673/stat : 8673 (cosoco) R 8661 8664 5749 0 -1 4202560 473 0 0 0 4 0 0 0 20 0 9 0 437277929 654725120 9491 33554432000 4194304 6211092 140724172371872 139697176291736 5017274 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 639380 KiB
Current children cumulated memory: 37964 KiB

[startup+0.210524 s]*
/proc/loadavg: 7.84 8.24 8.42 9/202 8673
/proc/meminfo: memFree=31947524/32770624 swapFree=66974136/67108860
[pid=8664] ppid=8661 vsize=639380 memory=38744 CPUtime=1.31 cores=0-7
/proc/8664/stat : 8664 (cosoco) S 8661 8664 5749 0 -1 1077944320 11150 0 0 0 129 2 0 0 20 0 9 0 437277924 654725120 9686 33554432000 4194304 6211092 140724172371872 140724172370128 139697258184439 0 0 4096 8405026 18446744073709551615 0 0 17 6 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
/proc/8664/statm: 159845 9686 905 493 0 153150 0
[pid=8664/tid=8666] ppid=8661 vsize=639380 memory=8316850467074736180 CPUtime=0.15 cores=0-7
/proc/8664/task/8666/stat : 8666 (cosoco) R 8661 8664 5749 0 -1 4202560 598 0 0 0 15 0 0 0 20 0 9 0 437277929 654725120 9686 33554432000 4194304 6211092 140724172371872 139697235040872 5186312 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8667] ppid=8661 vsize=639380 memory=2996192 CPUtime=0.15 cores=0-7
/proc/8664/task/8667/stat : 8667 (cosoco) R 8661 8664 5749 0 -1 4202560 557 0 0 0 15 0 0 0 20 0 9 0 437277929 654725120 9686 33554432000 4194304 6211092 140724172371872 139697226648168 5125783 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8668] ppid=8661 vsize=639380 memory=139793559320298 CPUtime=0.16 cores=0-7
/proc/8664/task/8668/stat : 8668 (cosoco) R 8661 8664 5749 0 -1 4202560 533 0 0 0 16 0 0 0 20 0 9 0 437277929 654725120 9686 33554432000 4194304 6211092 140724172371872 139697218256200 5193754 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8669] ppid=8661 vsize=639380 memory=-1 CPUtime=0.16 cores=0-7
/proc/8664/task/8669/stat : 8669 (cosoco) R 8661 8664 5749 0 -1 4202560 540 0 0 0 16 0 0 0 20 0 9 0 437277929 654725120 9686 33554432000 4194304 6211092 140724172371872 139697209862552 5409453 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8670] ppid=8661 vsize=639380 memory=0 CPUtime=0.15 cores=0-7
/proc/8664/task/8670/stat : 8670 (cosoco) R 8661 8664 5749 0 -1 4202560 559 0 0 0 15 0 0 0 20 0 9 0 437277929 654725120 9686 33554432000 4194304 6211092 140724172371872 139697201470736 5017274 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8671] ppid=8661 vsize=639380 memory=0 CPUtime=0.15 cores=0-7
/proc/8664/task/8671/stat : 8671 (cosoco) R 8661 8664 5749 0 -1 4202560 552 0 0 0 15 0 0 0 20 0 9 0 437277929 654725120 9686 33554432000 4194304 6211092 140724172371872 139697193077352 5250287 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8672] ppid=8661 vsize=639380 memory=-1 CPUtime=0.15 cores=0-7
/proc/8664/task/8672/stat : 8672 (cosoco) R 8661 8664 5749 0 -1 4202560 548 0 0 0 15 0 0 0 20 0 9 0 437277929 654725120 9686 33554432000 4194304 6211092 140724172371872 139697184685328 5125797 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8673] ppid=8661 vsize=639380 memory=0 CPUtime=0.14 cores=0-7
/proc/8664/task/8673/stat : 8673 (cosoco) R 8661 8664 5749 0 -1 4202560 527 0 0 0 14 0 0 0 20 0 9 0 437277929 654725120 9686 33554432000 4194304 6211092 140724172371872 139697176291944 5250287 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 639380 KiB
Current children cumulated memory: 38744 KiB

[startup+0.310523 s]*
/proc/loadavg: 7.84 8.24 8.42 9/202 8673
/proc/meminfo: memFree=31947524/32770624 swapFree=66974136/67108860
[pid=8664] ppid=8661 vsize=639380 memory=38744 CPUtime=2.1 cores=0-7
/proc/8664/stat : 8664 (cosoco) S 8661 8664 5749 0 -1 1077944320 11221 0 0 0 208 2 0 0 20 0 9 0 437277924 654725120 9686 33554432000 4194304 6211092 140724172371872 140724172370128 139697258184439 0 0 4096 8405026 18446744073709551615 0 0 17 6 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
/proc/8664/statm: 159845 9686 905 493 0 153150 0
[pid=8664/tid=8666] ppid=8661 vsize=639380 memory=8317482817917895235 CPUtime=0.25 cores=0-7
/proc/8664/task/8666/stat : 8666 (cosoco) R 8661 8664 5749 0 -1 4202560 600 0 0 0 25 0 0 0 20 0 9 0 437277929 654725120 9686 33554432000 4194304 6211092 140724172371872 139697235040872 5397216 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8667] ppid=8661 vsize=639380 memory=4126316290023845779 CPUtime=0.25 cores=0-7
/proc/8664/task/8667/stat : 8667 (cosoco) R 8661 8664 5749 0 -1 4202560 565 0 0 0 25 0 0 0 20 0 9 0 437277929 654725120 9686 33554432000 4194304 6211092 140724172371872 139697226648168 5250289 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8668] ppid=8661 vsize=639380 memory=0 CPUtime=0.26 cores=0-7
/proc/8664/task/8668/stat : 8668 (cosoco) R 8661 8664 5749 0 -1 4202560 550 0 0 0 26 0 0 0 20 0 9 0 437277929 654725120 9686 33554432000 4194304 6211092 140724172371872 139697218256200 5390084 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8669] ppid=8661 vsize=639380 memory=6944656592455359580 CPUtime=0.25 cores=0-7
/proc/8664/task/8669/stat : 8669 (cosoco) R 8661 8664 5749 0 -1 4202560 553 0 0 0 25 0 0 0 20 0 9 0 437277929 654725120 9686 33554432000 4194304 6211092 140724172371872 139697209862552 5250298 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8670] ppid=8661 vsize=639380 memory=6656426216303648864 CPUtime=0.25 cores=0-7
/proc/8664/task/8670/stat : 8670 (cosoco) R 8661 8664 5749 0 -1 4202560 559 0 0 0 25 0 0 0 20 0 9 0 437277929 654725120 9686 33554432000 4194304 6211092 140724172371872 139697201470736 5390154 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8671] ppid=8661 vsize=639380 memory=0 CPUtime=0.25 cores=0-7
/proc/8664/task/8671/stat : 8671 (cosoco) R 8661 8664 5749 0 -1 4202560 560 0 0 0 25 0 0 0 20 0 9 0 437277929 654725120 9686 33554432000 4194304 6211092 140724172371872 139697193077352 5409461 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8672] ppid=8661 vsize=639380 memory=0 CPUtime=0.25 cores=0-7
/proc/8664/task/8672/stat : 8672 (cosoco) R 8661 8664 5749 0 -1 4202560 552 0 0 0 25 0 0 0 20 0 9 0 437277929 654725120 9686 33554432000 4194304 6211092 140724172371872 139697184685328 5250272 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8673] ppid=8661 vsize=639380 memory=0 CPUtime=0.23 cores=0-7
/proc/8664/task/8673/stat : 8673 (cosoco) R 8661 8664 5749 0 -1 4202560 546 0 0 0 23 0 0 0 20 0 9 0 437277929 654725120 9686 33554432000 4194304 6211092 140724172371872 139697176291944 5125783 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
Current children cumulated CPU time: 2.1 s
Current children cumulated vsize: 639380 KiB
Current children cumulated memory: 38744 KiB

[startup+0.700524 s]
/proc/loadavg: 7.84 8.24 8.42 9/202 8673
/proc/meminfo: memFree=31946348/32770624 swapFree=66974136/67108860
[pid=8664] ppid=8661 vsize=639380 memory=39536 CPUtime=5.13 cores=0-7
/proc/8664/stat : 8664 (cosoco) S 8661 8664 5749 0 -1 1077944320 11383 0 0 0 511 2 0 0 20 0 9 0 437277924 654725120 9884 33554432000 4194304 6211092 140724172371872 140724172370128 139697258184439 0 0 4096 8405026 18446744073709551615 0 0 17 6 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
/proc/8664/statm: 159845 9884 905 493 0 153150 0
[pid=8664/tid=8666] ppid=8661 vsize=639380 memory=-7035114785800479027 CPUtime=0.63 cores=0-7
/proc/8664/task/8666/stat : 8666 (cosoco) R 8661 8664 5749 0 -1 4202560 648 0 0 0 63 0 0 0 20 0 9 0 437277929 654725120 9884 33554432000 4194304 6211092 140724172371872 139697235041312 5193754 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8667] ppid=8661 vsize=639380 memory=1764 CPUtime=0.64 cores=0-7
/proc/8664/task/8667/stat : 8667 (cosoco) R 8661 8664 5749 0 -1 4202560 576 0 0 0 64 0 0 0 20 0 9 0 437277929 654725120 9884 33554432000 4194304 6211092 140724172371872 139697226648704 5250289 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8668] ppid=8661 vsize=639380 memory=111632 CPUtime=0.64 cores=0-7
/proc/8664/task/8668/stat : 8668 (cosoco) R 8661 8664 5749 0 -1 4202560 570 0 0 0 64 0 0 0 20 0 9 0 437277929 654725120 9884 33554432000 4194304 6211092 140724172371872 139697218256144 5389444 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8669] ppid=8661 vsize=639380 memory=804 CPUtime=0.64 cores=0-7
/proc/8664/task/8669/stat : 8669 (cosoco) R 8661 8664 5749 0 -1 4202560 564 0 0 0 64 0 0 0 20 0 9 0 437277929 654725120 9884 33554432000 4194304 6211092 140724172371872 139697209862760 5409461 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8670] ppid=8661 vsize=639380 memory=1648 CPUtime=0.64 cores=0-7
/proc/8664/task/8670/stat : 8670 (cosoco) R 8661 8664 5749 0 -1 4202560 572 0 0 0 64 0 0 0 20 0 9 0 437277929 654725120 9884 33554432000 4194304 6211092 140724172371872 139697201470136 5125793 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8671] ppid=8661 vsize=639380 memory=908 CPUtime=0.64 cores=0-7
/proc/8664/task/8671/stat : 8671 (cosoco) R 8661 8664 5749 0 -1 4202560 574 0 0 0 64 0 0 0 20 0 9 0 437277929 654725120 9884 33554432000 4194304 6211092 140724172371872 139697193077888 5409453 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8672] ppid=8661 vsize=639380 memory=7100839861465685612 CPUtime=0.63 cores=0-7
/proc/8664/task/8672/stat : 8672 (cosoco) R 8661 8664 5749 0 -1 4202560 575 0 0 0 63 0 0 0 20 0 9 0 437277929 654725120 9884 33554432000 4194304 6211092 140724172371872 139697184684728 5250287 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8673] ppid=8661 vsize=639380 memory=3054156605268465310 CPUtime=0.59 cores=0-7
/proc/8664/task/8673/stat : 8673 (cosoco) R 8661 8664 5749 0 -1 4202560 568 0 0 0 59 0 0 0 20 0 9 0 437277929 654725120 9884 33554432000 4194304 6211092 140724172371872 139697176292368 5409444 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
Current children cumulated CPU time: 5.13 s
Current children cumulated vsize: 639380 KiB
Current children cumulated memory: 39536 KiB

[startup+1.50052 s]
/proc/loadavg: 7.84 8.24 8.42 9/202 8673
/proc/meminfo: memFree=31946224/32770624 swapFree=66974136/67108860
[pid=8664] ppid=8661 vsize=639380 memory=40868 CPUtime=11.52 cores=0-7
/proc/8664/stat : 8664 (cosoco) S 8661 8664 5749 0 -1 1077944320 20185 0 0 0 1147 5 0 0 20 0 9 0 437277924 654725120 10217 33554432000 4194304 6211092 140724172371872 140724172370128 139697258184439 0 0 4096 8405026 18446744073709551615 0 0 17 6 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
/proc/8664/statm: 159845 10217 905 493 0 153150 0
[pid=8664/tid=8666] ppid=8661 vsize=639380 memory=6433861010613 CPUtime=1.43 cores=0-7
/proc/8664/task/8666/stat : 8666 (cosoco) R 8661 8664 5749 0 -1 4202560 1602 0 0 0 143 0 0 0 20 0 9 0 437277929 654725120 10217 33554432000 4194304 6211092 140724172371872 139697235041408 5250293 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8667] ppid=8661 vsize=639380 memory=288230617509003574 CPUtime=1.43 cores=0-7
/proc/8664/task/8667/stat : 8667 (cosoco) R 8661 8664 5749 0 -1 4202560 2034 0 0 0 143 0 0 0 20 0 9 0 437277929 654725120 10217 33554432000 4194304 6211092 140724172371872 139697226648848 5409453 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8668] ppid=8661 vsize=639380 memory=0 CPUtime=1.43 cores=0-7
/proc/8664/task/8668/stat : 8668 (cosoco) R 8661 8664 5749 0 -1 4202560 1408 0 0 0 143 0 0 0 20 0 9 0 437277929 654725120 10217 33554432000 4194304 6211092 140724172371872 139697218255544 5250284 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8669] ppid=8661 vsize=639380 memory=0 CPUtime=1.44 cores=0-7
/proc/8664/task/8669/stat : 8669 (cosoco) R 8661 8664 5749 0 -1 4202560 1958 0 0 0 144 0 0 0 20 0 9 0 437277929 654725120 10217 33554432000 4194304 6211092 140724172371872 139697209863184 5125958 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8670] ppid=8661 vsize=639380 memory=0 CPUtime=1.43 cores=0-7
/proc/8664/task/8670/stat : 8670 (cosoco) R 8661 8664 5749 0 -1 4202560 1319 0 0 0 142 1 0 0 20 0 9 0 437277929 654725120 10217 33554432000 4194304 6211092 140724172371872 139697201470056 5250284 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8671] ppid=8661 vsize=639380 memory=0 CPUtime=1.43 cores=0-7
/proc/8664/task/8671/stat : 8671 (cosoco) R 8661 8664 5749 0 -1 4202560 1642 0 0 0 143 0 0 0 20 0 9 0 437277929 654725120 10217 33554432000 4194304 6211092 140724172371872 139697193077888 5250298 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8672] ppid=8661 vsize=639380 memory=-7241597079701628969 CPUtime=1.43 cores=0-7
/proc/8664/task/8672/stat : 8672 (cosoco) R 8661 8664 5749 0 -1 4202560 1502 0 0 0 143 0 0 0 20 0 9 0 437277929 654725120 10217 33554432000 4194304 6211092 140724172371872 139697184685328 5250289 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8673] ppid=8661 vsize=639380 memory=0 CPUtime=1.37 cores=0-7
/proc/8664/task/8673/stat : 8673 (cosoco) R 8661 8664 5749 0 -1 4202560 1984 0 0 0 137 0 0 0 20 0 9 0 437277929 654725120 10217 33554432000 4194304 6211092 140724172371872 139697176291944 5250272 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
Current children cumulated CPU time: 11.52 s
Current children cumulated vsize: 639380 KiB
Current children cumulated memory: 40868 KiB

[startup+3.11052 s]
/proc/loadavg: 7.84 8.24 8.42 9/202 8673
/proc/meminfo: memFree=31946816/32770624 swapFree=66974136/67108860
[pid=8664] ppid=8661 vsize=639380 memory=41120 CPUtime=24.37 cores=0-7
/proc/8664/stat : 8664 (cosoco) S 8661 8664 5749 0 -1 1077944320 28217 0 0 0 2432 5 0 0 20 0 9 0 437277924 654725120 10280 33554432000 4194304 6211092 140724172371872 140724172370128 139697258184439 0 0 4096 8405026 18446744073709551615 0 0 17 6 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
/proc/8664/statm: 159845 10280 905 493 0 153150 0
[pid=8664/tid=8666] ppid=8661 vsize=639380 memory=40868 CPUtime=3.04 cores=0-7
/proc/8664/task/8666/stat : 8666 (cosoco) R 8661 8664 5749 0 -1 4202560 2500 0 0 0 304 0 0 0 20 0 9 0 437277929 654725120 10280 33554432000 4194304 6211092 140724172371872 139697235041408 5250301 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8667] ppid=8661 vsize=639380 memory=6944938067432061290 CPUtime=3.04 cores=0-7
/proc/8664/task/8667/stat : 8667 (cosoco) R 8661 8664 5749 0 -1 4202560 2944 0 0 0 304 0 0 0 20 0 9 0 437277929 654725120 10280 33554432000 4194304 6211092 140724172371872 139697226648608 5250272 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8668] ppid=8661 vsize=639380 memory=0 CPUtime=3.04 cores=0-7
/proc/8664/task/8668/stat : 8668 (cosoco) R 8661 8664 5749 0 -1 4202560 2469 0 0 0 304 0 0 0 20 0 9 0 437277929 654725120 10280 33554432000 4194304 6211092 140724172371872 139697218255544 5250272 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8669] ppid=8661 vsize=639380 memory=0 CPUtime=3.04 cores=0-7
/proc/8664/task/8669/stat : 8669 (cosoco) R 8661 8664 5749 0 -1 4202560 3013 0 0 0 304 0 0 0 20 0 9 0 437277929 654725120 10280 33554432000 4194304 6211092 140724172371872 139697209862840 5126704 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8670] ppid=8661 vsize=639380 memory=39536 CPUtime=3.04 cores=0-7
/proc/8664/task/8670/stat : 8670 (cosoco) R 8661 8664 5749 0 -1 4202560 2271 0 0 0 303 1 0 0 20 0 9 0 437277929 654725120 10280 33554432000 4194304 6211092 140724172371872 139697201470136 5125793 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8671] ppid=8661 vsize=639380 memory=2212 CPUtime=3.04 cores=0-7
/proc/8664/task/8671/stat : 8671 (cosoco) R 8661 8664 5749 0 -1 4202560 2694 0 0 0 304 0 0 0 20 0 9 0 437277929 654725120 10280 33554432000 4194304 6211092 140724172371872 139697193077432 5250289 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8672] ppid=8661 vsize=639380 memory=38744 CPUtime=3.04 cores=0-7
/proc/8664/task/8672/stat : 8672 (cosoco) R 8661 8664 5749 0 -1 4202560 2613 0 0 0 304 0 0 0 20 0 9 0 437277929 654725120 10280 33554432000 4194304 6211092 140724172371872 139697184685328 5173810 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8673] ppid=8661 vsize=639380 memory=40884 CPUtime=2.96 cores=0-7
/proc/8664/task/8673/stat : 8673 (cosoco) R 8661 8664 5749 0 -1 4202560 2977 0 0 0 296 0 0 0 20 0 9 0 437277929 654725120 10280 33554432000 4194304 6211092 140724172371872 139697176292024 5391899 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
Current children cumulated CPU time: 24.37 s
Current children cumulated vsize: 639380 KiB
Current children cumulated memory: 41120 KiB

[startup+4.80977 s]
# the end of solver process 8664 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=37.8083 s, system=0.05996 s

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

[startup+3.20152 s]
/proc/loadavg: 7.84 8.24 8.42 9/202 8673
/proc/meminfo: memFree=31946816/32770624 swapFree=66974136/67108860
[pid=8664] ppid=8661 vsize=639380 memory=41152 CPUtime=25.1 cores=0-7
/proc/8664/stat : 8664 (cosoco) S 8661 8664 5749 0 -1 1077944320 28749 0 0 0 2505 5 0 0 20 0 9 0 437277924 654725120 10288 33554432000 4194304 6211092 140724172371872 140724172370128 139697258184439 0 0 4096 8405026 18446744073709551615 0 0 17 6 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
/proc/8664/statm: 159845 10288 905 493 0 153150 0
[pid=8664/tid=8666] ppid=8661 vsize=639380 memory=0 CPUtime=3.13 cores=0-7
/proc/8664/task/8666/stat : 8666 (cosoco) R 8661 8664 5749 0 -1 4202560 2587 0 0 0 313 0 0 0 20 0 9 0 437277929 654725120 10288 33554432000 4194304 6211092 140724172371872 139697235041408 5250272 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8667] ppid=8661 vsize=639380 memory=0 CPUtime=3.13 cores=0-7
/proc/8664/task/8667/stat : 8667 (cosoco) R 8661 8664 5749 0 -1 4202560 2946 0 0 0 313 0 0 0 20 0 9 0 437277929 654725120 10288 33554432000 4194304 6211092 140724172371872 139697226648608 5393040 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8668] ppid=8661 vsize=639380 memory=-7035114785800479027 CPUtime=3.13 cores=0-7
/proc/8664/task/8668/stat : 8668 (cosoco) R 8661 8664 5749 0 -1 4202560 2757 0 0 0 313 0 0 0 20 0 9 0 437277929 654725120 10288 33554432000 4194304 6211092 140724172371872 139697218255544 5017569 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8669] ppid=8661 vsize=639380 memory=139793401035344 CPUtime=3.14 cores=0-7
/proc/8664/task/8669/stat : 8669 (cosoco) R 8661 8664 5749 0 -1 4202560 3016 0 0 0 314 0 0 0 20 0 9 0 437277929 654725120 10288 33554432000 4194304 6211092 140724172371872 139697209862840 5409444 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8670] ppid=8661 vsize=639380 memory=0 CPUtime=3.13 cores=0-7
/proc/8664/task/8670/stat : 8670 (cosoco) R 8661 8664 5749 0 -1 4202560 2406 0 0 0 312 1 0 0 20 0 9 0 437277929 654725120 10288 33554432000 4194304 6211092 140724172371872 139697201470136 5125793 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8671] ppid=8661 vsize=639380 memory=0 CPUtime=3.14 cores=0-7
/proc/8664/task/8671/stat : 8671 (cosoco) R 8661 8664 5749 0 -1 4202560 2701 0 0 0 314 0 0 0 20 0 9 0 437277929 654725120 10288 33554432000 4194304 6211092 140724172371872 139697193077432 5250272 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8672] ppid=8661 vsize=639380 memory=0 CPUtime=3.13 cores=0-7
/proc/8664/task/8672/stat : 8672 (cosoco) R 8661 8664 5749 0 -1 4202560 2616 0 0 0 313 0 0 0 20 0 9 0 437277929 654725120 10288 33554432000 4194304 6211092 140724172371872 139697184685328 5193744 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8673] ppid=8661 vsize=639380 memory=279586801713392 CPUtime=3.05 cores=0-7
/proc/8664/task/8673/stat : 8673 (cosoco) R 8661 8664 5749 0 -1 4202560 2984 0 0 0 305 0 0 0 20 0 9 0 437277929 654725120 10288 33554432000 4194304 6211092 140724172371872 139697176292024 5126123 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
Current children cumulated CPU time: 25.1 s
Current children cumulated vsize: 639380 KiB
Current children cumulated memory: 41152 KiB

[startup+4.00052 s]*
/proc/loadavg: 7.84 8.24 8.42 9/202 8673
/proc/meminfo: memFree=31946816/32770624 swapFree=66974136/67108860
[pid=8664] ppid=8661 vsize=639380 memory=41200 CPUtime=31.55 cores=0-7
/proc/8664/stat : 8664 (cosoco) S 8661 8664 5749 0 -1 1077944320 29409 0 0 0 3150 5 0 0 20 0 9 0 437277924 654725120 10300 33554432000 4194304 6211092 140724172371872 140724172370128 139697258184439 0 0 4096 8405026 18446744073709551615 0 0 17 6 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
/proc/8664/statm: 159845 10300 905 493 0 153150 0
[pid=8664/tid=8666] ppid=8661 vsize=639380 memory=8317482817917895235 CPUtime=3.94 cores=0-7
/proc/8664/task/8666/stat : 8666 (cosoco) R 8661 8664 5749 0 -1 4202560 2763 0 0 0 394 0 0 0 20 0 9 0 437277929 654725120 10300 33554432000 4194304 6211092 140724172371872 139697235041552 5250289 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8667] ppid=8661 vsize=639380 memory=4126316290023845779 CPUtime=3.94 cores=0-7
/proc/8664/task/8667/stat : 8667 (cosoco) R 8661 8664 5749 0 -1 4202560 3090 0 0 0 394 0 0 0 20 0 9 0 437277929 654725120 10300 33554432000 4194304 6211092 140724172371872 139697226648248 5009142 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8668] ppid=8661 vsize=639380 memory=0 CPUtime=3.94 cores=0-7
/proc/8664/task/8668/stat : 8668 (cosoco) R 8661 8664 5749 0 -1 4202560 2763 0 0 0 394 0 0 0 20 0 9 0 437277929 654725120 10300 33554432000 4194304 6211092 140724172371872 139697218255544 5396400 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8669] ppid=8661 vsize=639380 memory=0 CPUtime=3.94 cores=0-7
/proc/8664/task/8669/stat : 8669 (cosoco) R 8661 8664 5749 0 -1 4202560 3072 0 0 0 394 0 0 0 20 0 9 0 437277929 654725120 10300 33554432000 4194304 6211092 140724172371872 139697209862840 5393063 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8670] ppid=8661 vsize=639380 memory=0 CPUtime=3.94 cores=0-7
/proc/8664/task/8670/stat : 8670 (cosoco) R 8661 8664 5749 0 -1 4202560 2516 0 0 0 393 1 0 0 20 0 9 0 437277929 654725120 10300 33554432000 4194304 6211092 140724172371872 139697201470136 5193754 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8671] ppid=8661 vsize=639380 memory=0 CPUtime=3.94 cores=0-7
/proc/8664/task/8671/stat : 8671 (cosoco) R 8661 8664 5749 0 -1 4202560 2790 0 0 0 394 0 0 0 20 0 9 0 437277929 654725120 10300 33554432000 4194304 6211092 140724172371872 139697193077776 5250289 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8672] ppid=8661 vsize=639380 memory=0 CPUtime=3.94 cores=0-7
/proc/8664/task/8672/stat : 8672 (cosoco) R 8661 8664 5749 0 -1 4202560 2653 0 0 0 394 0 0 0 20 0 9 0 437277929 654725120 10300 33554432000 4194304 6211092 140724172371872 139697184685328 5126560 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8673] ppid=8661 vsize=639380 memory=0 CPUtime=3.84 cores=0-7
/proc/8664/task/8673/stat : 8673 (cosoco) R 8661 8664 5749 0 -1 4202560 3026 0 0 0 384 0 0 0 20 0 9 0 437277929 654725120 10300 33554432000 4194304 6211092 140724172371872 139697176292024 5250293 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
Current children cumulated CPU time: 31.55 s
Current children cumulated vsize: 639380 KiB
Current children cumulated memory: 41200 KiB

[startup+4.40052 s]
/proc/loadavg: 7.84 8.24 8.42 9/202 8673
/proc/meminfo: memFree=31946816/32770624 swapFree=66974136/67108860
[pid=8664] ppid=8661 vsize=639380 memory=41232 CPUtime=34.67 cores=0-7
/proc/8664/stat : 8664 (cosoco) S 8661 8664 5749 0 -1 1077944320 29446 0 0 0 3462 5 0 0 20 0 9 0 437277924 654725120 10308 33554432000 4194304 6211092 140724172371872 140724172370128 139697258184439 0 0 4096 8405026 18446744073709551615 0 0 17 6 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
/proc/8664/statm: 159845 10308 905 493 0 153150 0
[pid=8664/tid=8666] ppid=8661 vsize=639380 memory=2004 CPUtime=4.33 cores=0-7
/proc/8664/task/8666/stat : 8666 (cosoco) R 8661 8664 5749 0 -1 4202560 2764 0 0 0 433 0 0 0 20 0 9 0 437277929 654725120 10308 33554432000 4194304 6211092 140724172371872 139697235041552 5250287 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8667] ppid=8661 vsize=639380 memory=984 CPUtime=4.33 cores=0-7
/proc/8664/task/8667/stat : 8667 (cosoco) R 8661 8664 5749 0 -1 4202560 3091 0 0 0 433 0 0 0 20 0 9 0 437277929 654725120 10308 33554432000 4194304 6211092 140724172371872 139697226648248 5193744 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8668] ppid=8661 vsize=639380 memory=1324 CPUtime=4.33 cores=0-7
/proc/8664/task/8668/stat : 8668 (cosoco) R 8661 8664 5749 0 -1 4202560 2763 0 0 0 433 0 0 0 20 0 9 0 437277929 654725120 10308 33554432000 4194304 6211092 140724172371872 139697218255544 5250287 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8669] ppid=8661 vsize=639380 memory=780 CPUtime=4.33 cores=0-7
/proc/8664/task/8669/stat : 8669 (cosoco) R 8661 8664 5749 0 -1 4202560 3072 0 0 0 433 0 0 0 20 0 9 0 437277929 654725120 10308 33554432000 4194304 6211092 140724172371872 139697209863200 5125793 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8670] ppid=8661 vsize=639380 memory=41200 CPUtime=4.33 cores=0-7
/proc/8664/task/8670/stat : 8670 (cosoco) R 8661 8664 5749 0 -1 4202560 2516 0 0 0 432 1 0 0 20 0 9 0 437277929 654725120 10308 33554432000 4194304 6211092 140724172371872 139697201470480 5250287 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8671] ppid=8661 vsize=639380 memory=2004 CPUtime=4.33 cores=0-7
/proc/8664/task/8671/stat : 8671 (cosoco) R 8661 8664 5749 0 -1 4202560 2790 0 0 0 433 0 0 0 20 0 9 0 437277929 654725120 10308 33554432000 4194304 6211092 140724172371872 139697193077776 5250287 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8672] ppid=8661 vsize=639380 memory=984 CPUtime=4.33 cores=0-7
/proc/8664/task/8672/stat : 8672 (cosoco) R 8661 8664 5749 0 -1 4202560 2687 0 0 0 433 0 0 0 20 0 9 0 437277929 654725120 10308 33554432000 4194304 6211092 140724172371872 139697184685088 5250275 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
[pid=8664/tid=8673] ppid=8661 vsize=639380 memory=1324 CPUtime=4.23 cores=0-7
/proc/8664/task/8673/stat : 8673 (cosoco) R 8661 8664 5749 0 -1 4202560 3027 0 0 0 423 0 0 0 20 0 9 0 437277929 654725120 10308 33554432000 4194304 6211092 140724172371872 139697176292024 5409453 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37965824 140724172379158 140724172379250 140724172379250 140724172382158 0
Current children cumulated CPU time: 34.67 s
Current children cumulated vsize: 639380 KiB
Current children cumulated memory: 41232 KiB

[startup+4.80042 s]*
/proc/loadavg: 7.84 8.24 8.42 2/194 8673
/proc/meminfo: memFree=31947892/32770624 swapFree=66974136/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 4.8098
CPU time (s): 37.8682
CPU user time (s): 37.8083
CPU system time (s): 0.05996
CPU usage (%): 787.314
Max. virtual memory (cumulated for all children) (KiB): 639380
Max. memory (cumulated for all children) (KiB): 41300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.8083
system time used= 0.05996
maximum resident set size= 41428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29563
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= 850
involuntary context switches= 352


# summary of solver processes directly reported to runsolver:
#   pid: 8664
#   total CPU time (s): 37.8682
#   total CPU user time (s): 37.8083
#   total CPU system time (s): 0.05996

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.038811 second user time and 0.08761 second system time

The end

Launcher Data

Begin job on node121 at 2019-09-16 07:01:51
IDJOB=4398537
IDBENCH=138318
IDSOLVER=2852
FILE ID=node121/4398537-1568610153
RUNJOBID= node121-1568598281-5777
PBS_JOBID= 21703423
Free space on /tmp= 61408 MiB

SOLVER NAME= cosoco 2.O parallel
BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff65.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398537-1568610153/watcher-4398537-1568610153 -o /tmp/evaluation-result-4398537-1568610153/solver-4398537-1568610153 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568598281-5777 --watchdog 312  cosoco -model -nbcores=8 HOME/instance-4398537-1568610153.xml

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

MD5SUM BENCH= 0deffa9f0e673ce4a3cf2d2074b556a7
RANDOM SEED=860084636

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.75
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:        31982948 kB
MemAvailable:   31933712 kB
Buffers:           12400 kB
Cached:           227804 kB
SwapCached:         9052 kB
Active:            47688 kB
Inactive:         203988 kB
Active(anon):       3396 kB
Inactive(anon):    38732 kB
Active(file):      44292 kB
Inactive(file):   165256 kB
Unevictable:      109604 kB
Mlocked:          109604 kB
SwapTotal:      67108860 kB
SwapFree:       66974136 kB
Dirty:              2984 kB
Writeback:             0 kB
AnonPages:        124264 kB
Mapped:            37408 kB
Shmem:             21780 kB
Slab:             127528 kB
SReclaimable:      98396 kB
SUnreclaim:        29132 kB
KernelStack:        3760 kB
PageTables:         5252 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506572 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     79872 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61404 MiB
End job on node121 at 2019-09-16 07:01:56