0.10/0.17	c root propagations     : 528         
0.10/0.17	c restarts enabled, print stats at every restarts
0.10/0.17	c
0.10/0.17	c
0.10/0.17	c
0.10/0.17	c This is cosoco 2.00 --  
0.10/0.17	c
0.10/0.17	c command line: cosoco -lc -model -restarts -stick HOME/instance-4390150-1568354228.xml 
0.10/0.17	c ========================================[ Problem Statistics ]===========================================
0.10/0.17	c |                                                                                                       
0.10/0.17	c |  Parse time        :         0.14 s 
0.10/0.17	c |
0.10/0.17	c |               Variables: 529
0.10/0.17	c |            Domain Sizes: 26..26
0.10/0.17	c |
0.10/0.17	c |             Constraints: 170
0.10/0.17	c |                   Arity: 3..9  -- Ternary: 20
0.10/0.17	c | 
0.10/0.17	c |                   Types: 
0.10/0.17	c |                          Extension: 170  (nb tuples: 753..4042) -- (shared: 163)
0.10/0.17	c |                          
0.10/0.17	c =========================================================================================================
0.10/0.17	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.10/0.17	c remove useless variable x[0][5]
0.10/0.17	c remove useless variable x[0][11]
0.10/0.17	c remove useless variable x[0][17]
0.10/0.17	c remove useless variable x[1][5]
0.10/0.17	c remove useless variable x[1][11]
0.10/0.17	c remove useless variable x[1][17]
0.10/0.17	c remove useless variable x[2][5]
0.10/0.17	c remove useless variable x[2][11]
0.10/0.17	c remove useless variable x[2][17]
0.10/0.17	c remove useless variable x[3][9]
0.10/0.17	c remove useless variable x[3][13]
0.10/0.17	c remove useless variable x[4][8]
0.10/0.17	c remove useless variable x[4][14]
0.10/0.17	c remove useless variable x[5][0]
0.10/0.17	c remove useless variable x[5][1]
0.10/0.17	c remove useless variable x[5][2]
0.10/0.17	c remove useless variable x[5][7]
0.10/0.17	c remove useless variable x[5][15]
0.10/0.17	c remove useless variable x[5][20]
0.10/0.17	c remove useless variable x[5][21]
0.10/0.17	c remove useless variable x[5][22]
0.10/0.17	c remove useless variable x[6][6]
0.10/0.17	c remove useless variable x[6][12]
0.10/0.17	c remove useless variable x[6][16]
0.10/0.17	c remove useless variable x[7][5]
0.10/0.17	c remove useless variable x[7][11]
0.10/0.17	c remove useless variable x[7][17]
0.10/0.17	c remove useless variable x[8][4]
0.10/0.17	c remove useless variable x[8][10]
0.10/0.17	c remove useless variable x[8][18]
0.10/0.17	c remove useless variable x[9][3]
0.10/0.17	c remove useless variable x[9][9]
0.10/0.17	c remove useless variable x[9][13]
0.10/0.17	c remove useless variable x[9][19]
0.10/0.17	c remove useless variable x[10][6]
0.10/0.17	c remove useless variable x[10][14]
0.10/0.17	c remove useless variable x[11][0]
0.10/0.17	c remove useless variable x[11][1]
0.10/0.17	c remove useless variable x[11][2]
0.10/0.17	c remove useless variable x[11][7]
0.10/0.17	c remove useless variable x[11][15]
0.10/0.17	c remove useless variable x[11][20]
0.10/0.17	c remove useless variable x[11][21]
0.10/0.17	c remove useless variable x[11][22]
0.10/0.17	c remove useless variable x[12][8]
0.10/0.17	c remove useless variable x[12][16]
0.10/0.17	c remove useless variable x[13][3]
0.10/0.17	c remove useless variable x[13][9]
0.10/0.17	c remove useless variable x[13][13]
0.10/0.17	c remove useless variable x[13][19]
0.10/0.17	c remove useless variable x[14][4]
0.10/0.17	c remove useless variable x[14][12]
0.10/0.17	c remove useless variable x[14][18]
0.10/0.17	c remove useless variable x[15][5]
0.10/0.17	c remove useless variable x[15][11]
0.10/0.17	c remove useless variable x[15][17]
0.10/0.17	c remove useless variable x[16][6]
0.10/0.17	c remove useless variable x[16][10]
0.10/0.17	c remove useless variable x[16][16]
0.10/0.17	c remove useless variable x[17][0]
0.10/0.17	c remove useless variable x[17][1]
0.10/0.17	c remove useless variable x[17][2]
0.10/0.17	c remove useless variable x[17][7]
0.10/0.17	c remove useless variable x[17][15]
0.10/0.17	c remove useless variable x[17][20]
0.10/0.17	c remove useless variable x[17][21]
0.10/0.17	c remove useless variable x[17][22]
0.10/0.17	c remove useless variable x[18][8]
0.10/0.17	c remove useless variable x[18][14]
0.10/0.17	c remove useless variable x[19][9]
0.10/0.17	c remove useless variable x[19][13]
0.10/0.17	c remove useless variable x[20][5]
0.10/0.17	c remove useless variable x[20][11]
0.10/0.17	c remove useless variable x[20][17]
0.10/0.17	c remove useless variable x[21][5]
0.10/0.17	c remove useless variable x[21][11]
0.10/0.17	c remove useless variable x[21][17]
0.10/0.17	c remove useless variable x[22][5]
0.10/0.17	c remove useless variable x[22][11]
0.10/0.17	c remove useless variable x[22][17]
0.21/0.27	c 101            304            5936           37324          303            0              40   157   135 
0.31/0.40	c 211            864            13630          94852          303            0              16   241   129 
0.51/0.56	c 332            1484           23188          166550         303            0              16   207   176 
0.60/0.66	c 465            1865           32788          230764         303            0              11   25   17   
0.79/0.81	c 611            2161           41515          305695         303            0              6   12   9     
0.89/0.99	c 771            2439           50786          390855         303            0              5   16   10    
1.10/1.19	c 947            2927           64363          499289         303            0              5   21   11    
1.29/1.32	c 1140           3303           75442          583698         303            0              10   18   14   
1.39/1.49	c 1352           3744           88497          680260         303            0              12   22   15   
1.59/1.64	c 1585           4191           102615         786312         303            0              10   21   13   
1.89/1.92	c 1841           5038           122243         930368         303            0              5   31   11    
2.10/2.12	c 2122           5567           137833         1060609        303            0              10   21   13   
2.39/2.41	c 2431           6256           159059         1226109        303            0              8   23   12    
2.59/2.65	c 2770           6868           178671         1383312        303            0              10   19   13   
3.00/3.06	c 3142           7812           204178         1593123        303            0              7   16   11    
3.39/3.42	c 3551           8519           224017         1785767        303            0              6   19   9     
3.69/3.76	c 4000           9613           250491         1997438        303            0              6   69   15    
4.19/4.22	c 4493           10742          279850         2247435        303            0              7   69   13    
4.59/4.61	c 5035           12031          314793         2492054        303            0              5   21   14    
5.10/5.17	c 5631           13668          351298         2773849        303            0              6   61   14    
5.79/5.85	c 6286           15027          389507         3105904        303            0              4   17   10    
6.49/6.52	c 7006           16467          428691         3453877        303            0              6   17   11    
7.29/7.31	c 7798           18644          485438         3874096        303            0              3   61   12    
8.00/8.05	c 8669           21653          544513         4277294        303            0              6   247   113  
8.59/8.61	c 9627           24517          594215         4618727        303            0              56   412   271 
9.00/9.10	c 10680          27757          653637         4981176        303            0              56   307   281 
9.79/9.88	c 11838          30333          720427         5432657        303            0              56   278   261 
10.79/10.82	c 13111          35472          800925         5930151        303            0              68   222   156 
11.69/11.70	c 14511          39175          892211         6555175        303            0              76   380   340 
13.49/13.56	c 16051          45901          1006992        7466340        303            0              114   294   276
15.29/15.37	c 17745          50059          1109576        8335004        303            0              14   80   24   
17.00/17.03	c 19608          54320          1221035        9234810        303            0              7   24   13    
19.00/19.04	c 21657          59336          1360240        10352440       303            0              10   108   88  
20.89/20.90	c 23910          66322          1509067        11387004       303            0              11   144   67  
23.59/23.69	c 26388          72355          1664823        12782284       303            0              20   75   52   
26.00/26.08	c 29113          79448          1846353        14130895       303            0              5   110   47   
28.59/28.62	c 32110          90451          2052714        15595008       303            0              4   394   202  
31.10/31.19	c 35406          104254         2273211        17274492       303            0              11   345   292 
33.19/33.27	c First solution is found
33.19/33.27	s SATISFIABLE
33.19/33.27	c restarts              : 38          
33.19/33.27	c conflicts             : 38893        (1169 /sec)
33.19/33.27	c decisions             : 116857       (3512 /sec)
33.19/33.27	c propagations          : 18667003    (561056 /sec)
33.19/33.27	c root propagations     : 528         
33.19/33.27	c filter calls          : 2507410        (75363 /sec)
33.19/33.27	c useless filter calls  : 668958         (26 %)
33.19/33.27	c Memory used           : 33.70 MB
33.19/33.27	c CPU time              : 33.2711 s
33.19/33.27	c real time             : 33.27 s
33.19/33.27	
33.19/33.27	c solution 1
33.19/33.27	
33.19/33.27	v <instantiation type='solution'>
33.19/33.27	v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] </list>
33.19/33.27	v <values>18 19 0 15 7 * 18 0 11 4 12 * 7 0 8 5 0 * 18 2 0 20 15 19 4 17 17 4 * 19 17 8 0 2 * 8 13 5 4 17 * 2 14 1 17 0 0 17 6 14 13 * 0 11 0 17 12 * 2 24 13 8 2 * 14 17 1 8 19 15 17 14 15 4 11 11 4 17 * 8 17 10 * 8 13 19 4 17 21 4 13 4 7 4 13 4 16 20 4 13 * 18 11 4 4 19 * 19 0 23 15 0 24 4 17 * * * 11 20 2 24 * 1 8 11 0 24 4 17 * 13 0 8 11 * * * 18 8 1 11 4 24 * 7 8 17 0 12 * 17 7 14 * 12 14 11 4 18 19 0 11 11 4 13 * 7 0 6 4 13 * 15 17 8 18 12 * 13 8 2 7 4 11 14 20 3 * 18 8 17 4 13 * 5 17 0 13 2 4 18 * 18 11 8 15 14 13 4 * 2 0 12 4 11 * 17 8 14 * 4 0 19 4 13 * 0 13 8 13 0 19 7 0 13 * 12 14 13 0 17 2 7 * 17 4 12 8 19 19 4 3 * * * 4 17 3 0 * 22 8 17 4 19 0 15 * 17 8 6 0 * * * 0 6 6 17 8 4 21 4 * 1 8 12 14 3 0 11 * 13 4 19 19 11 4 1 14 0 * 1 17 0 8 3 * 19 0 17 * 11 0 12 0 17 * 7 4 13 17 14 19 2 * 18 8 3 4 12 0 13 * 13 14 1 4 11 * 5 8 0 19 0 3 14 17 13 * 11 4 13 8 13 * 22 14 12 0 13 * 2 20 17 18 4 12 24 17 8 0 3 * 17 4 3 * 3 8 21 0 13 * 1 14 17 3 4 17 * * * 19 17 4 4 * 1 0 18 8 11 0 17 * 1 14 13 13 * * * 1 0 18 4 1 0 11 11 * 18 19 0 11 10 * 18 4 13 19 8 13 4 11 0 18 19 17 14 13 0 20 19 * 4 11 8 * 12 0 6 13 4 19 8 19 4 18 19 0 8 13 * 8 12 0 6 4 * 0 11 14 13 6 * 12 20 6 7 14 18 4 19 14 13 * 13 4 15 0 11 * 12 0 11 19 0 * 15 17 4 4 13 8 17 4 13 4 * 4 13 4 12 24 * 18 14 11 0 17 * 19 4 17 17 4 </values>
33.19/33.27	v </instantiation>
33.19/33.27	

OK	

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390150-1568354228/watcher-4390150-1568354228 -o /tmp/evaluation-result-4390150-1568354228/solver-4390150-1568354228 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568351778-24447 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390150-1568354228.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=25174, runsolver pid=25171
Current StackSize limit: 8192 KiB


[startup+0.100199 s]*
/proc/loadavg: 2.00 2.01 1.95 4/212 25175
/proc/meminfo: memFree=31693680/32770624 swapFree=66994316/67108860
[pid=25174] ppid=25171 vsize=29044 memory=5272 CPUtime=0.1 cores=0,2,4,6
/proc/25174/stat : 25174 (cosoco) R 25171 25174 24416 0 -1 4202496 1517 0 0 0 10 0 0 0 20 0 1 0 411674216 29741056 1318 33554432000 4194304 6210612 140725957335904 140725957332440 5518822 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 29065216 140725957338123 140725957338225 140725957338225 140725957341134 0
/proc/25174/statm: 7261 1318 812 493 0 566 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29044 KiB
Current children cumulated memory: 5272 KiB

[startup+0.209572 s]*
/proc/loadavg: 2.00 2.01 1.95 6/212 25175
/proc/meminfo: memFree=31675260/32770624 swapFree=66994316/67108860
[pid=25174] ppid=25171 vsize=33564 memory=10024 CPUtime=0.21 cores=0,2,4,6
/proc/25174/stat : 25174 (cosoco) R 25171 25174 24416 0 -1 4202496 2680 0 0 0 21 0 0 0 20 0 1 0 411674216 34369536 2506 33554432000 4194304 6210612 140725957335904 140725957332440 5038670 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 29065216 140725957338123 140725957338225 140725957338225 140725957341134 0
/proc/25174/statm: 8391 2506 853 493 0 1696 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33564 KiB
Current children cumulated memory: 10024 KiB

[startup+0.309605 s]*
/proc/loadavg: 2.00 2.01 1.95 5/212 25175
/proc/meminfo: memFree=31648472/32770624 swapFree=66994316/67108860
[pid=25174] ppid=25171 vsize=33564 memory=10024 CPUtime=0.31 cores=0,2,4,6
/proc/25174/stat : 25174 (cosoco) R 25171 25174 24416 0 -1 4202496 2684 0 0 0 31 0 0 0 20 0 1 0 411674216 34369536 2506 33554432000 4194304 6210612 140725957335904 140725957332440 5038622 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 29065216 140725957338123 140725957338225 140725957338225 140725957341134 0
/proc/25174/statm: 8391 2506 853 493 0 1696 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 33564 KiB
Current children cumulated memory: 10024 KiB

[startup+0.700347 s]
/proc/loadavg: 2.00 2.01 1.95 2/196 25178
/proc/meminfo: memFree=31720964/32770624 swapFree=66994316/67108860
[pid=25174] ppid=25171 vsize=33828 memory=10288 CPUtime=0.69 cores=0,2,4,6
/proc/25174/stat : 25174 (cosoco) R 25171 25174 24416 0 -1 4202496 2748 0 0 0 69 0 0 0 20 0 1 0 411674216 34639872 2572 33554432000 4194304 6210612 140725957335904 140725957333864 5038670 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 29065216 140725957338123 140725957338225 140725957338225 140725957341134 0
/proc/25174/statm: 8457 2572 856 493 0 1762 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 33828 KiB
Current children cumulated memory: 10288 KiB

[startup+1.50035 s]
/proc/loadavg: 2.00 2.01 1.95 4/199 25210
/proc/meminfo: memFree=31714100/32770624 swapFree=66994316/67108860
[pid=25174] ppid=25171 vsize=33828 memory=10288 CPUtime=1.49 cores=0,2,4,6
/proc/25174/stat : 25174 (cosoco) R 25171 25174 24416 0 -1 4202496 2748 0 0 0 149 0 0 0 20 0 1 0 411674216 34639872 2572 33554432000 4194304 6210612 140725957335904 140725957333864 5038714 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 29065216 140725957338123 140725957338225 140725957338225 140725957341134 0
/proc/25174/statm: 8457 2572 856 493 0 1762 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 33828 KiB
Current children cumulated memory: 10288 KiB

[startup+3.10909 s]
/proc/loadavg: 2.00 2.01 1.95 3/199 25274
/proc/meminfo: memFree=31720616/32770624 swapFree=66994316/67108860
[pid=25174] ppid=25171 vsize=33828 memory=10344 CPUtime=3.1 cores=0,2,4,6
/proc/25174/stat : 25174 (cosoco) R 25171 25174 24416 0 -1 4202496 3600 0 0 0 310 0 0 0 20 0 1 0 411674216 34639872 2586 33554432000 4194304 6210612 140725957335904 140725957333864 5038631 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 29065216 140725957338123 140725957338225 140725957338225 140725957341134 0
/proc/25174/statm: 8457 2586 856 493 0 1762 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 33828 KiB
Current children cumulated memory: 10344 KiB

[startup+6.30035 s]
/proc/loadavg: 2.00 2.01 1.95 3/199 25274
/proc/meminfo: memFree=31719908/32770624 swapFree=66994316/67108860
[pid=25174] ppid=25171 vsize=33828 memory=10344 CPUtime=6.29 cores=0,2,4,6
/proc/25174/stat : 25174 (cosoco) R 25171 25174 24416 0 -1 4202496 4639 0 0 0 629 0 0 0 20 0 1 0 411674216 34639872 2586 33554432000 4194304 6210612 140725957335904 140725957333864 5038693 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 29065216 140725957338123 140725957338225 140725957338225 140725957341134 0
/proc/25174/statm: 8457 2586 856 493 0 1762 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 33828 KiB
Current children cumulated memory: 10344 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 1.95 3/195 25330
/proc/meminfo: memFree=31721916/32770624 swapFree=66994316/67108860
[pid=25174] ppid=25171 vsize=34500 memory=10880 CPUtime=12.69 cores=0,2,4,6
/proc/25174/stat : 25174 (cosoco) R 25171 25174 24416 0 -1 4202496 6451 0 0 0 1269 0 0 0 20 0 1 0 411674216 35328000 2720 33554432000 4194304 6210612 140725957335904 140725957333864 5038631 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 29065216 140725957338123 140725957338225 140725957338225 140725957341134 0
/proc/25174/statm: 8625 2720 856 493 0 1930 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 34500 KiB
Current children cumulated memory: 10880 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 1.95 3/199 25529
/proc/meminfo: memFree=31714520/32770624 swapFree=66994316/67108860
[pid=25174] ppid=25171 vsize=34500 memory=10964 CPUtime=25.49 cores=0,2,4,6
/proc/25174/stat : 25174 (cosoco) R 25171 25174 24416 0 -1 4202496 9262 0 0 0 2549 0 0 0 20 0 1 0 411674216 35328000 2741 33554432000 4194304 6210612 140725957335904 140725957333864 5038622 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 29065216 140725957338123 140725957338225 140725957338225 140725957341134 0
/proc/25174/statm: 8625 2741 856 493 0 1930 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 34500 KiB
Current children cumulated memory: 10964 KiB

[startup+33.2742 s]
# the end of solver process 25174 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=33.2712 s, system=0.006 s

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

[startup+25.6004 s]
/proc/loadavg: 2.00 2.01 1.95 3/199 25529
/proc/meminfo: memFree=31714520/32770624 swapFree=66994316/67108860
[pid=25174] ppid=25171 vsize=34500 memory=10964 CPUtime=25.59 cores=0,2,4,6
/proc/25174/stat : 25174 (cosoco) R 25171 25174 24416 0 -1 4202496 9279 0 0 0 2559 0 0 0 20 0 1 0 411674216 35328000 2741 33554432000 4194304 6210612 140725957335904 140725957333864 5037475 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 29065216 140725957338123 140725957338225 140725957338225 140725957341134 0
/proc/25174/statm: 8625 2741 856 493 0 1930 0
Current children cumulated CPU time: 25.59 s
Current children cumulated vsize: 34500 KiB
Current children cumulated memory: 10964 KiB

[startup+28.8004 s]
/proc/loadavg: 2.08 2.03 1.96 3/199 25529
/proc/meminfo: memFree=31710944/32770624 swapFree=66994316/67108860
[pid=25174] ppid=25171 vsize=34500 memory=11004 CPUtime=28.79 cores=0,2,4,6
/proc/25174/stat : 25174 (cosoco) R 25171 25174 24416 0 -1 4202496 9764 0 0 0 2879 0 0 0 20 0 1 0 411674216 35328000 2751 33554432000 4194304 6210612 140725957335904 140725957333864 5038767 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 29065216 140725957338123 140725957338225 140725957338225 140725957341134 0
/proc/25174/statm: 8625 2751 856 493 0 1930 0
Current children cumulated CPU time: 28.79 s
Current children cumulated vsize: 34500 KiB
Current children cumulated memory: 11004 KiB

[startup+30.4003 s]
/proc/loadavg: 2.08 2.03 1.96 3/199 25529
/proc/meminfo: memFree=31710984/32770624 swapFree=66994316/67108860
[pid=25174] ppid=25171 vsize=34500 memory=11004 CPUtime=30.39 cores=0,2,4,6
/proc/25174/stat : 25174 (cosoco) R 25171 25174 24416 0 -1 4202496 9764 0 0 0 3039 0 0 0 20 0 1 0 411674216 35328000 2751 33554432000 4194304 6210612 140725957335904 140725957333864 5034895 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 29065216 140725957338123 140725957338225 140725957338225 140725957341134 0
/proc/25174/statm: 8625 2751 856 493 0 1930 0
Current children cumulated CPU time: 30.39 s
Current children cumulated vsize: 34500 KiB
Current children cumulated memory: 11004 KiB

[startup+32.0003 s]*
/proc/loadavg: 2.08 2.03 1.96 3/199 25529
/proc/meminfo: memFree=31711108/32770624 swapFree=66994316/67108860
[pid=25174] ppid=25171 vsize=34500 memory=11004 CPUtime=32 cores=0,2,4,6
/proc/25174/stat : 25174 (cosoco) R 25171 25174 24416 0 -1 4202496 9766 0 0 0 3200 0 0 0 20 0 1 0 411674216 35328000 2751 33554432000 4194304 6210612 140725957335904 140725957333864 5038764 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 29065216 140725957338123 140725957338225 140725957338225 140725957341134 0
/proc/25174/statm: 8625 2751 856 493 0 1930 0
Current children cumulated CPU time: 32 s
Current children cumulated vsize: 34500 KiB
Current children cumulated memory: 11004 KiB

[startup+32.8003 s]
/proc/loadavg: 2.08 2.03 1.96 3/199 25529
/proc/meminfo: memFree=31711108/32770624 swapFree=66994316/67108860
[pid=25174] ppid=25171 vsize=34500 memory=11004 CPUtime=32.79 cores=0,2,4,6
/proc/25174/stat : 25174 (cosoco) R 25171 25174 24416 0 -1 4202496 9766 0 0 0 3279 0 0 0 20 0 1 0 411674216 35328000 2751 33554432000 4194304 6210612 140725957335904 140725957333864 5394010 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 29065216 140725957338123 140725957338225 140725957338225 140725957341134 0
/proc/25174/statm: 8625 2751 856 493 0 1930 0
Current children cumulated CPU time: 32.79 s
Current children cumulated vsize: 34500 KiB
Current children cumulated memory: 11004 KiB

[startup+33.2003 s]
/proc/loadavg: 2.08 2.03 1.96 3/199 25529
/proc/meminfo: memFree=31711108/32770624 swapFree=66994316/67108860
[pid=25174] ppid=25171 vsize=34500 memory=11004 CPUtime=33.19 cores=0,2,4,6
/proc/25174/stat : 25174 (cosoco) R 25171 25174 24416 0 -1 4202496 9773 0 0 0 3319 0 0 0 20 0 1 0 411674216 35328000 2751 33554432000 4194304 6210612 140725957335904 140725957333864 5038631 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 29065216 140725957338123 140725957338225 140725957338225 140725957341134 0
/proc/25174/statm: 8625 2751 856 493 0 1930 0
Current children cumulated CPU time: 33.19 s
Current children cumulated vsize: 34500 KiB
Current children cumulated memory: 11004 KiB

Child status: 0
Real time (s): 33.2742
CPU time (s): 33.2772
CPU user time (s): 33.2712
CPU system time (s): 0.006
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (KiB): 34500
Max. memory (cumulated for all children) (KiB): 11004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.2712
system time used= 0.006
maximum resident set size= 11144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9816
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= 6
involuntary context switches= 10


# summary of solver processes directly reported to runsolver:
#   pid: 25174
#   total CPU time (s): 33.2772
#   total CPU user time (s): 33.2712
#   total CPU system time (s): 0.006

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.142473 second user time and 0.267773 second system time

The end

Begin job on node102 at 2019-09-13 07:56:22
IDJOB=4390150
IDBENCH=139816
IDSOLVER=2830
FILE ID=node102/4390150-1568354228
RUNJOBID= node102-1568351778-24447
PBS_JOBID= 21701177
Free space on /tmp= 56904 MiB

SOLVER NAME= cosoco 2
BENCH NAME= XCSP17/Crossword/Crossword-m1c-lex-herald/Crossword-m1c-lex-h2304.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390150-1568354228/watcher-4390150-1568354228 -o /tmp/evaluation-result-4390150-1568354228/solver-4390150-1568354228 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568351778-24447 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4390150-1568354228.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 2b17aa29d465407901b3bf5b8794b9ea
RANDOM SEED=204493078

node102.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.13
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.54
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.13
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.54
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.13
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.54
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.13
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31703432 kB
MemAvailable:   31897932 kB
Buffers:          132084 kB
Cached:           352636 kB
SwapCached:        10596 kB
Active:           249980 kB
Inactive:         270884 kB
Active(anon):      32604 kB
Inactive(anon):    33540 kB
Active(file):     217376 kB
Inactive(file):   237344 kB
Unevictable:      110464 kB
Mlocked:          110464 kB
SwapTotal:      67108860 kB
SwapFree:       66994316 kB
Dirty:              6224 kB
Writeback:             0 kB
AnonPages:        144368 kB
Mapped:            42744 kB
Shmem:             21348 kB
Slab:             139752 kB
SReclaimable:     111232 kB
SUnreclaim:        28520 kB
KernelStack:        3760 kB
PageTables:         5848 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1451852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     88064 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 56900 MiB
End job on node102 at 2019-09-13 07:56:56