Trace number 4408829

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.0SAT (TO)1615360 2400.09 2400.5

General information on the benchmark

NameQuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-lipa60b.xml
MD5SUMd3c2bfd6fc3d7b839ebf0f38d378e232
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1615360
Best CPU time to get the best result obtained on this benchmark2400.05
Satisfiable
(Un)Satisfiability was proved
Number of variables3660
Number of constraints1744
Number of domains2
Minimum domain size60
Maximum domain size61
Distribution of domain sizes[{"size":60,"count":60},{"size":61,"count":1743}]
Minimum variable degree0
Maximum variable degree60
Distribution of variable degrees[{"degree":0,"count":1857},{"degree":2,"count":1743},{"degree":57,"count":4},{"degree":58,"count":9},{"degree":59,"count":24},{"degree":60,"count":23}]
Minimum constraint arity3
Maximum constraint arity60
Distribution of constraint arities[{"arity":3,"count":1743},{"arity":60,"count":1}]
Number of extensional constraints1743
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":1743},{"type":"allDifferent","count":1}]
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 

1.89/1.98	c
1.89/1.98	c This is cosoco 2.00 --  
1.89/1.98	c
1.89/1.98	c command line: cosoco -lc -model -restarts -stick HOME/instance-4408829-1569790186.xml 
1.89/1.98	c enable optimization
1.89/1.98	c ========================================[ Problem Statistics ]===========================================
1.89/1.98	c |                                                                                                       
1.89/1.98	c |  Parse time        :         0.12 s 
1.89/1.98	c |
1.89/1.98	c |               Variables: 3660
1.89/1.98	c |            Domain Sizes: 60..61
1.89/1.98	c |
1.89/1.98	c |             Constraints: 1745
1.89/1.98	c |                   Arity: 3..1743  -- Ternary: 1743
1.89/1.98	c | 
1.89/1.98	c |                   Types: 
1.89/1.98	c |                          All Different: 1
1.89/1.98	c |                          Extension: 1743  (nb tuples: 3540..3540) -- (shared: 1742)
1.89/1.98	c |                          Sum: 1
1.89/1.98	c |                          
1.89/1.98	c |               Objective: Minimize Sum
1.89/1.98	
1.89/1.98	c =========================================================================================================
1.89/1.98	o 1650712
1.89/1.98	c    1 calls to solver(id=0): best=1650712 lower=0 upper=1650711 
3.99/4.08	o 1637214
10.59/10.64	o 1634006
10.59/10.64	c    3 calls to solver(id=0): best=1634006 lower=0 upper=1634005 
16.29/16.35	o 1626175
39.17/39.21	o 1625115
39.17/39.21	c    5 calls to solver(id=0): best=1625115 lower=0 upper=1625114 
62.45/62.54	o 1620260
666.24/666.42	o 1619940
666.24/666.42	c    7 calls to solver(id=0): best=1619940 lower=0 upper=1619939 
998.28/998.56	o 1618387
1522.59/1522.91	o 1617847
1522.59/1522.91	c    9 calls to solver(id=0): best=1617847 lower=0 upper=1617846 
2150.18/2150.62	o 1615360
2400.08/2400.50	
2400.08/2400.50	c *** INTERRUPTED ***
2400.08/2400.50	c call to solver        : 10
2400.08/2400.50	c
2400.08/2400.50	c restarts              : 324         
2400.08/2400.50	c conflicts             : 490124       (204 /sec)
2400.08/2400.50	c decisions             : 15949949     (6646 /sec)
2400.08/2400.50	c propagations          : 497623039   (207347 /sec)
2400.08/2400.50	c root propagations     : 1743        
2400.08/2400.50	c filter calls          : 91697437       (38208 /sec)
2400.08/2400.50	c useless filter calls  : 69735142       (76 %)
2400.08/2400.50	c Memory used           : 138.59 MB
2400.08/2400.50	c Best bound time (wc)  : 2150.62 s
2400.08/2400.50	c CPU time              : 2399.96 s
2400.08/2400.50	c real time             : 2400.5 s
2400.08/2400.50	
2400.08/2400.50	c nb Solutions = 10
2400.08/2400.50	s SATISFIABLE
2400.08/2400.50	c Best value found: 1615360
2400.08/2400.50	
2400.08/2400.50	
2400.08/2400.50	v <instantiation type='solution' cost='1615360'>
2400.08/2400.50	v <list>d[0][0] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][1] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][2] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][3] d[0][40] d[0][41] d[0][42] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[0][49] d[0][4] d[0][50] d[0][51] d[0][52] d[0][53] d[0][54] d[0][55] d[0][56] d[0][57] d[0][58] d[0][59] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[10][0] d[10][10] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][1] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][2] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][3] d[10][40] d[10][41] d[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][48] d[10][49] d[10][4] d[10][50] d[10][51] d[10][52] d[10][53] d[10][54] d[10][55] d[10][56] d[10][57] d[10][58] d[10][59] d[10][5] d[10][6] d[10][7] d[10][8] d[10][9] d[11][0] d[11][10] d[11][11] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][1] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][2] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][3] d[11][40] d[11][41] d[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[11][49] d[11][4] d[11][50] d[11][51] d[11][52] d[11][53] d[11][54] d[11][55] d[11][56] d[11][57] d[11][58] d[11][59] d[11][5] d[11][6] d[11][7] d[11][8] d[11][9] d[12][0] d[12][10] d[12][11] d[12][12] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][1] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][2] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][3] d[12][40] d[12][41] d[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] d[12][49] d[12][4] d[12][50] d[12][51] d[12][52] d[12][53] d[12][54] d[12][55] d[12][56] d[12][57] d[12][58] d[12][59] d[12][5] d[12][6] d[12][7] d[12][8] d[12][9] d[13][0] d[13][10] d[13][11] d[13][12] d[13][13] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][1] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][2] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][3] d[13][40] d[13][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[13][49] d[13][4] d[13][50] d[13][51] d[13][52] d[13][53] d[13][54] d[13][55] d[13][56] d[13][57] d[13][58] d[13][59] d[13][5] d[13][6] d[13][7] d[13][8] d[13][9] d[14][0] d[14][10] d[14][11] d[14][12] d[14][13] d[14][14] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][1] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][2] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[14][36] d[14][37] d[14][38] d[14][39] d[14][3] d[14][40] d[14][41] d[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] d[14][49] d[14][4] d[14][50] d[14][51] d[14][52] d[14][53] d[14][54] d[14][55] d[14][56] d[14][57] d[14][58] d[14][59] d[14][5] d[14][6] d[14][7] d[14][8] d[14][9] d[15][0] d[15][10] d[15][11] d[15][12] d[15][13] d[15][14] d[15][15] d[15][16] d[15][17] d[15][18] d[15][19] d[15][1] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][2] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][3] d[15][40] d[15][41] d[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] d[15][49] d[15][4] d[15][50] d[15][51] d[15][52] d[15][53] d[15][54] d[15][55] d[15][56] d[15][57] d[15][58] d[15][59] d[15][5] d[15][6] d[15][7] d[15][8] d[15][9] d[16][0] d[16][10] d[16][11] d[16][12] d[16][13] d[16][14] d[16][15] d[16][16] d[16][17] d[16][18] d[16][19] d[16][1] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][2] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][3] d[16][40] d[16][41] d[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] d[16][49] d[16][4] d[16][50] d[16][51] d[16][52] d[16][53] d[16][54] d[16][55] d[16][56] d[16][57] d[16][58] d[16][59] d[16][5] d[16][6] d[16][7] d[16][8] d[16][9] d[17][0] d[17][10] d[17][11] d[17][12] d[17][13] d[17][14] d[17][15] d[17][16] d[17][17] d[17][18] d[17][19] d[17][1] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][2] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][3] d[17][40] d[17][41] d[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] d[17][49] d[17][4] d[17][50] d[17][51] d[17][52] d[17][53] d[17][54] d[17][55] d[17][56] d[17][57] d[17][58] d[17][59] d[17][5] d[17][6] d[17][7] d[17][8] d[17][9] d[18][0] d[18][10] d[18][11] d[18][12] d[18][13] d[18][14] d[18][15] d[18][16] d[18][17] d[18][18] d[18][19] d[18][1] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][2] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][3] d[18][40] d[18][41] d[18][42] d[18][43] d[18][44] d[18][45] d[18][46] d[18][47] d[18][48] d[18][49] d[18][4] d[18][50] d[18][51] d[18][52] d[18][53] d[18][54] d[18][55] d[18][56] d[18][57] d[18][58] d[18][59] d[18][5] d[18][6] d[18][7] d[18][8] d[18][9] d[19][0] d[19][10] d[19][11] d[19][12] d[19][13] d[19][14] d[19][15] d[19][16] d[19][17] d[19][18] d[19][19] d[19][1] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][2] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][38] d[19][39] d[19][3] d[19][40] d[19][41] d[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] d[19][49] d[19][4] d[19][50] d[19][51] d[19][52] d[19][53] d[19][54] d[19][55] d[19][56] d[19][57] d[19][58] d[19][59] d[19][5] d[19][6] d[19][7] d[19][8] d[19][9] d[1][0] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][1] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][2] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][3] d[1][40] d[1][41] d[1][42] d[1][43] d[1][44] d[1][45] d[1][46] d[1][47] d[1][48] d[1][49] d[1][4] d[1][50] d[1][51] d[1][52] d[1][53] d[1][54] d[1][55] d[1][56] d[1][57] d[1][58] d[1][59] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[20][0] d[20][10] d[20][11] d[20][12] d[20][13] d[20][14] d[20][15] d[20][16] d[20][17] d[20][18] d[20][19] d[20][1] d[20][20] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][2] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][3] d[20][40] d[20][41] d[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] d[20][49] d[20][4] d[20][50] d[20][51] d[20][52] d[20][53] d[20][54] d[20][55] d[20][56] d[20][57] d[20][58] d[20][59] d[20][5] d[20][6] d[20][7] d[20][8] d[20][9] d[21][0] d[21][10] d[21][11] d[21][12] d[21][13] d[21][14] d[21][15] d[21][16] d[21][17] d[21][18] d[21][19] d[21][1] d[21][20] d[21][21] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][2] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][3] d[21][40] d[21][41] d[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][48] d[21][49] d[21][4] d[21][50] d[21][51] d[21][52] d[21][53] d[21][54] d[21][55] d[21][56] d[21][57] d[21][58] d[21][59] d[21][5] d[21][6] d[21][7] d[21][8] d[21][9] d[22][0] d[22][10] d[22][11] d[22][12] d[22][13] d[22][14] d[22][15] d[22][16] d[22][17] d[22][18] d[22][19] d[22][1] d[22][20] d[22][21] d[22][22] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][2] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][3] d[22][40] d[22][41] d[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[22][49] d[22][4] d[22][50] d[22][51] d[22][52] d[22][53] d[22][54] d[22][55] d[22][56] d[22][57] d[22][58] d[22][59] d[22][5] d[22][6] d[22][7] d[22][8] d[22][9] d[23][0] d[23][10] d[23][11] d[23][12] d[23][13] d[23][14] d[23][15] d[23][16] d[23][17] d[23][18] d[23][19] d[23][1] d[23][20] d[23][21] d[23][22] d[23][23] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][2] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][3] d[23][40] d[23][41] d[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] d[23][49] d[23][4] d[23][50] d[23][51] d[23][52] d[23][53] d[23][54] d[23][55] d[23][56] d[23][57] d[23][58] d[23][59] d[23][5] d[23][6] d[23][7] d[23][8] d[23][9] d[24][0] d[24][10] d[24][11] d[24][12] d[24][13] d[24][14] d[24][15] d[24][16] d[24][17] d[24][18] d[24][19] d[24][1] d[24][20] d[24][21] d[24][22] d[24][23] d[24][24] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][2] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][3] d[24][40] d[24][41] d[24][42] d[24][43] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[24][49] d[24][4] d[24][50] d[24][51] d[24][52] d[24][53] d[24][54] d[24][55] d[24][56] d[24][57] d[24][58] d[24][59] d[24][5] d[24][6] d[24][7] d[24][8] d[24][9] d[25][0] d[25][10] d[25][11] d[25][12] d[25][13] d[25][14] d[25][15] d[25][16] d[25][17] d[25][18] d[25][19] d[25][1] d[25][20] d[25][21] d[25][22] d[25][23] d[25][24] d[25][25] d[25][26] d[25][27] d[25][28] d[25][29] d[25][2] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][3] d[25][40] d[25][41] d[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] d[25][49] d[25][4] d[25][50] d[25][51] d[25][52] d[25][53] d[25][54] d[25][55] d[25][56] d[25][57] d[25][58] d[25][59] d[25][5] d[25][6] d[25][7] d[25][8] d[25][9] d[26][0] d[26][10] d[26][11] d[26][12] d[26][13] d[26][14] d[26][15] d[26][16] d[26][17] d[26][18] d[26][19] d[26][1] d[26][20] d[26][21] d[26][22] d[26][23] d[26][24] d[26][25] d[26][26] d[26][27] d[26][28] d[26][29] d[26][2] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][3] d[26][40] d[26][41] d[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] d[26][49] d[26][4] d[26][50] d[26][51] d[26][52] d[26][53] d[26][54] d[26][55] d[26][56] d[26][57] d[26][58] d[26][59] d[26][5] d[26][6] d[26][7] d[26][8] d[26][9] d[27][0] d[27][10] d[27][11] d[27][12] d[27][13] d[27][14] d[27][15] d[27][16] d[27][17] d[27][18] d[27][19] d[27][1] d[27][20] d[27][21] d[27][22] d[27][23] d[27][24] d[27][25] d[27][26] d[27][27] d[27][28] d[27][29] d[27][2] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][3] d[27][40] d[27][41] d[27][42] d[27][43] d[27][44] d[27][45] d[27][46] d[27][47] d[27][48] d[27][49] d[27][4] d[27][50] d[27][51] d[27][52] d[27][53] d[27][54] d[27][55] d[27][56] d[27][57] d[27][58] d[27][59] d[27][5] d[27][6] d[27][7] d[27][8] d[27][9] d[28][0] d[28][10] d[28][11] d[28][12] d[28][13] d[28][14] d[28][15] d[28][16] d[28][17] d[28][18] d[28][19] d[28][1] d[28][20] d[28][21] d[28][22] d[28][23] d[28][24] d[28][25] d[28][26] d[28][27] d[28][28] d[28][29] d[28][2] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][3] d[28][40] d[28][41] d[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][48] d[28][49] d[28][4] d[28][50] d[28][51] d[28][52] d[28][53] d[28][54] d[28][55] d[28][56] d[28][57] d[28][58] d[28][59] d[28][5] d[28][6] d[28][7] d[28][8] d[28][9] d[29][0] d[29][10] d[29][11] d[29][12] d[29][13] d[29][14] d[29][15] d[29][16] d[29][17] d[29][18] d[29][19] d[29][1] d[29][20] d[29][21] d[29][22] d[29][23] d[29][24] d[29][25] d[29][26] d[29][27] d[29][28] d[29][29] d[29][2] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][3] d[29][40] d[29][41] d[29][42] d[29][43] d[29][44] d[29][45] d[29][46] d[29][47] d[29][48] d[29][49] d[29][4] d[29][50] d[29][51] d[29][52] d[29][53] d[29][54] d[29][55] d[29][56] d[29][57] d[29][58] d[29][59] d[29][5] d[29][6] d[29][7] d[29][8] d[29][9] d[2][0] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][1] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][2] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][3] d[2][40] d[2][41] d[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] d[2][49] d[2][4] d[2][50] d[2][51] d[2][52] d[2][53] d[2][54] d[2][55] d[2][56] d[2][57] d[2][58] d[2][59] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[30][0] d[30][10] d[30][11] d[30][12] d[30][13] d[30][14] d[30][15] d[30][16] d[30][17] d[30][18] d[30][19] d[30][1] d[30][20] d[30][21] d[30][22] d[30][23] d[30][24] d[30][25] d[30][26] d[30][27] d[30][28] d[30][29] d[30][2] d[30][30] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][3] d[30][40] d[30][41] d[30][42] d[30][43] d[30][44] d[30][45] d[30][46] d[30][47] d[30][48] d[30][49] d[30][4] d[30][50] d[30][51] d[30][52] d[30][53] d[30][54] d[30][55] d[30][56] d[30][57] d[30][58] d[30][59] d[30][5] d[30][6] d[30][7] d[30][8] d[30][9] d[31][0] d[31][10] d[31][11] d[31][12] d[31][13] d[31][14] d[31][15] d[31][16] d[31][17] d[31][18] d[31][19] d[31][1] d[31][20] d[31][21] d[31][22] d[31][23] d[31][24] d[31][25] d[31][26] d[31][27] d[31][28] d[31][29] d[31][2] d[31][30] d[31][31] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][3] d[31][40] d[31][41] d[31][42] d[31][43] d[31][44] d[31][45] d[31][46] d[31][47] d[31][48] d[31][49] d[31][4] d[31][50] d[31][51] d[31][52] d[31][53] d[31][54] d[31][55] d[31][56] d[31][57] d[31][58] d[31][59] d[31][5] d[31][6] d[31][7] d[31][8] d[31][9] d[32][0] d[32][10] d[32][11] d[32][12] d[32][13] d[32][14] d[32][15] d[32][16] d[32][17] d[32][18] d[32][19] d[32][1] d[32][20] d[32][21] d[32][22] d[32][23] d[32][24] d[32][25] d[32][26] d[32][27] d[32][28] d[32][29] d[32][2] d[32][30] d[32][31] d[32][32] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][38] d[32][39] d[32][3] d[32][40] d[32][41] d[32][42] d[32][43] d[32][44] d[32][45] d[32][46] d[32][47] d[32][48] d[32][49] d[32][4] d[32][50] d[32][51] d[32][52] d[32][53] d[32][54] d[32][55] d[32][56] d[32][57] d[32][58] d[32][59] d[32][5] d[32][6] d[32][7] d[32][8] d[32][9] d[33][0] d[33][10] d[33][11] d[33][12] d[33][13] d[33][14] d[33][15] d[33][16] d[33][17] d[33][18] d[33][19] d[33][1] d[33][20] d[33][21] d[33][22] d[33][23] d[33][24] d[33][25] d[33][26] d[33][27] d[33][28] d[33][29] d[33][2] d[33][30] d[33][31] d[33][32] d[33][33] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][3] d[33][40] d[33][41] d[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[33][49] d[33][4] d[33][50] d[33][51] d[33][52] d[33][53] d[33][54] d[33][55] d[33][56] d[33][57] d[33][58] d[33][59] d[33][5] d[33][6] d[33][7] d[33][8] d[33][9] d[34][0] d[34][10] d[34][11] d[34][12] d[34][13] d[34][14] d[34][15] d[34][16] d[34][17] d[34][18] d[34][19] d[34][1] d[34][20] d[34][21] d[34][22] d[34][23] d[34][24] d[34][25] d[34][26] d[34][27] d[34][28] d[34][29] d[34][2] d[34][30] d[34][31] d[34][32] d[34][33] d[34][34] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][3] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[34][49] d[34][4] d[34][50] d[34][51] d[34][52] d[34][53] d[34][54] d[34][55] d[34][56] d[34][57] d[34][58] d[34][59] d[34][5] d[34][6] d[34][7] d[34][8] d[34][9] d[35][0] d[35][10] d[35][11] d[35][12] d[35][13] d[35][14] d[35][15] d[35][16] d[35][17] d[35][18] d[35][19] d[35][1] d[35][20] d[35][21] d[35][22] d[35][23] d[35][24] d[35][25] d[35][26] d[35][27] d[35][28] d[35][29] d[35][2] d[35][30] d[35][31] d[35][32] d[35][33] d[35][34] d[35][35] d[35][36] d[35][37] d[35][38] d[35][39] d[35][3] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[35][49] d[35][4] d[35][50] d[35][51] d[35][52] d[35][53] d[35][54] d[35][55] d[35][56] d[35][57] d[35][58] d[35][59] d[35][5] d[35][6] d[35][7] d[35][8] d[35][9] d[36][0] d[36][10] d[36][11] d[36][12] d[36][13] d[36][14] d[36][15] d[36][16] d[36][17] d[36][18] d[36][19] d[36][1] d[36][20] d[36][21] d[36][22] d[36][23] d[36][24] d[36][25] d[36][26] d[36][27] d[36][28] d[36][29] d[36][2] d[36][30] d[36][31] d[36][32] d[36][33] d[36][34] d[36][35] d[36][36] d[36][37] d[36][38] d[36][39] d[36][3] d[36][40] d[36][41] d[36][42] d[36][43] d[36][44] d[36][45] d[36][46] d[36][47] d[36][48] d[36][49] d[36][4] d[36][50] d[36][51] d[36][52] d[36][53] d[36][54] d[36][55] d[36][56] d[36][57] d[36][58] d[36][59] d[36][5] d[36][6] d[36][7] d[36][8] d[36][9] d[37][0] d[37][10] d[37][11] d[37][12] d[37][13] d[37][14] d[37][15] d[37][16] d[37][17] d[37][18] d[37][19] d[37][1] d[37][20] d[37][21] d[37][22] d[37][23] d[37][24] d[37][25] d[37][26] d[37][27] d[37][28] d[37][29] d[37][2] d[37][30] d[37][31] d[37][32] d[37][33] d[37][34] d[37][35] d[37][36] d[37][37] d[37][38] d[37][39] d[37][3] d[37][40] d[37][41] d[37][42] d[37][43] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[37][49] d[37][4] d[37][50] d[37][51] d[37][52] d[37][53] d[37][54] d[37][55] d[37][56] d[37][57] d[37][58] d[37][59] d[37][5] d[37][6] d[37][7] d[37][8] d[37][9] d[38][0] d[38][10] d[38][11] d[38][12] d[38][13] d[38][14] d[38][15] d[38][16] d[38][17] d[38][18] d[38][19] d[38][1] d[38][20] d[38][21] d[38][22] d[38][23] d[38][24] d[38][25] d[38][26] d[38][27] d[38][28] d[38][29] d[38][2] d[38][30] d[38][31] d[38][32] d[38][33] d[38][34] d[38][35] d[38][36] d[38][37] d[38][38] d[38][39] d[38][3] d[38][40] d[38][41] d[38][42] d[38][43] d[38][44] d[38][45] d[38][46] d[38][47] d[38][48] d[38][49] d[38][4] d[38][50] d[38][51] d[38][52] d[38][53] d[38][54] d[38][55] d[38][56] d[38][57] d[38][58] d[38][59] d[38][5] d[38][6] d[38][7] d[38][8] d[38][9] d[39][0] d[39][10] d[39][11] d[39][12] d[39][13] d[39][14] d[39][15] d[39][16] d[39][17] d[39][18] d[39][19] d[39][1] d[39][20] d[39][21] d[39][22] d[39][23] d[39][24] d[39][25] d[39][26] d[39][27] d[39][28] d[39][29] d[39][2] d[39][30] d[39][31] d[39][32] d[39][33] d[39][34] d[39][35] d[39][36] d[39][37] d[39][38] d[39][39] d[39][3] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][47] d[39][48] d[39][49] d[39][4] d[39][50] d[39][51] d[39][52] d[39][53] d[39][54] d[39][55] d[39][56] d[39][57] d[39][58] d[39][59] d[39][5] d[39][6] d[39][7] d[39][8] d[39][9] d[3][0] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][1] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][2] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][3] d[3][40] d[3][41] d[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][47] d[3][48] d[3][49] d[3][4] d[3][50] d[3][51] d[3][52] d[3][53] d[3][54] d[3][55] d[3][56] d[3][57] d[3][58] d[3][59] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[40][0] d[40][10] d[40][11] d[40][12] d[40][13] d[40][14] d[40][15] d[40][16] d[40][17] d[40][18] d[40][19] d[40][1] d[40][20] d[40][21] d[40][22] d[40][23] d[40][24] d[40][25] d[40][26] d[40][27] d[40][28] d[40][29] d[40][2] d[40][30] d[40][31] d[40][32] d[40][33] d[40][34] d[40][35] d[40][36] d[40][37] d[40][38] d[40][39] d[40][3] d[40][40] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[40][49] d[40][4] d[40][50] d[40][51] d[40][52] d[40][53] d[40][54] d[40][55] d[40][56] d[40][57] d[40][58] d[40][59] d[40][5] d[40][6] d[40][7] d[40][8] d[40][9] d[41][0] d[41][10] d[41][11] d[41][12] d[41][13] d[41][14] d[41][15] d[41][16] d[41][17] d[41][18] d[41][19] d[41][1] d[41][20] d[41][21] d[41][22] d[41][23] d[41][24] d[41][25] d[41][26] d[41][27] d[41][28] d[41][29] d[41][2] d[41][30] d[41][31] d[41][32] d[41][33] d[41][34] d[41][35] d[41][36] d[41][37] d[41][38] d[41][39] d[41][3] d[41][40] d[41][41] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[41][49] d[41][4] d[41][50] d[41][51] d[41][52] d[41][53] d[41][54] d[41][55] d[41][56] d[41][57] d[41][58] d[41][59] d[41][5] d[41][6] d[41][7] d[41][8] d[41][9] d[42][0] d[42][10] d[42][11] d[42][12] d[42][13] d[42][14] d[42][15] d[42][16] d[42][17] d[42][18] d[42][19] d[42][1] d[42][20] d[42][21] d[42][22] d[42][23] d[42][24] d[42][25] d[42][26] d[42][27] d[42][28] d[42][29] d[42][2] d[42][30] d[42][31] d[42][32] d[42][33] d[42][34] d[42][35] d[42][36] d[42][37] d[42][38] d[42][39] d[42][3] d[42][40] d[42][41] d[42][42] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[42][49] d[42][4] d[42][50] d[42][51] d[42][52] d[42][53] d[42][54] d[42][55] d[42][56] d[42][57] d[42][58] d[42][59] d[42][5] d[42][6] d[42][7] d[42][8] d[42][9] d[43][0] d[43][10] d[43][11] d[43][12] d[43][13] d[43][14] d[43][15] d[43][16] d[43][17] d[43][18] d[43][19] d[43][1] d[43][20] d[43][21] d[43][22] d[43][23] d[43][24] d[43][25] d[43][26] d[43][27] d[43][28] d[43][29] d[43][2] d[43][30] d[43][31] d[43][32] d[43][33] d[43][34] d[43][35] d[43][36] d[43][37] d[43][38] d[43][39] d[43][3] d[43][40] d[43][41] d[43][42] d[43][43] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[43][49] d[43][4] d[43][50] d[43][51] d[43][52] d[43][53] d[43][54] d[43][55] d[43][56] d[43][57] d[43][58] d[43][59] d[43][5] d[43][6] d[43][7] d[43][8] d[43][9] d[44][0] d[44][10] d[44][11] d[44][12] d[44][13] d[44][14] d[44][15] d[44][16] d[44][17] d[44][18] d[44][19] d[44][1] d[44][20] d[44][21] d[44][22] d[44][23] d[44][24] d[44][25] d[44][26] d[44][27] d[44][28] d[44][29] d[44][2] d[44][30] d[44][31] d[44][32] d[44][33] d[44][34] d[44][35] d[44][36] d[44][37] d[44][38] d[44][39] d[44][3] d[44][40] d[44][41] d[44][42] d[44][43] d[44][44] d[44][45] d[44][46] d[44][47] d[44][48] d[44][49] d[44][4] d[44][50] d[44][51] d[44][52] d[44][53] d[44][54] d[44][55] d[44][56] d[44][57] d[44][58] d[44][59] d[44][5] d[44][6] d[44][7] d[44][8] d[44][9] d[45][0] d[45][10] d[45][11] d[45][12] d[45][13] d[45][14] d[45][15] d[45][16] d[45][17] d[45][18] d[45][19] d[45][1] d[45][20] d[45][21] d[45][22] d[45][23] d[45][24] d[45][25] d[45][26] d[45][27] d[45][28] d[45][29] d[45][2] d[45][30] d[45][31] d[45][32] d[45][33] d[45][34] d[45][35] d[45][36] d[45][37] d[45][38] d[45][39] d[45][3] d[45][40] d[45][41] d[45][42] d[45][43] d[45][44] d[45][45] d[45][46] d[45][47] d[45][48] d[45][49] d[45][4] d[45][50] d[45][51] d[45][52] d[45][53] d[45][54] d[45][55] d[45][56] d[45][57] d[45][58] d[45][59] d[45][5] d[45][6] d[45][7] d[45][8] d[45][9] d[46][0] d[46][10] d[46][11] d[46][12] d[46][13] d[46][14] d[46][15] d[46][16] d[46][17] d[46][18] d[46][19] d[46][1] d[46][20] d[46][21] d[46][22] d[46][23] d[46][24] d[46][25] d[46][26] d[46][27] d[46][28] d[46][29] d[46][2] d[46][30] d[46][31] d[46][32] d[46][33] d[46][34] d[46][35] d[46][36] d[46][37] d[46][38] d[46][39] d[46][3] d[46][40] d[46][41] d[46][42] d[46][43] d[46][44] d[46][45] d[46][46] d[46][47] d[46][48] d[46][49] d[46][4] d[46][50] d[46][51] d[46][52] d[46][53] d[46][54] d[46][55] d[46][56] d[46][57] d[46][58] d[46][59] d[46][5] d[46][6] d[46][7] d[46][8] d[46][9] d[47][0] d[47][10] d[47][11] d[47][12] d[47][13] d[47][14] d[47][15] d[47][16] d[47][17] d[47][18] d[47][19] d[47][1] d[47][20] d[47][21] d[47][22] d[47][23] d[47][24] d[47][25] d[47][26] d[47][27] d[47][28] d[47][29] d[47][2] d[47][30] d[47][31] d[47][32] d[47][33] d[47][34] d[47][35] d[47][36] d[47][37] d[47][38] d[47][39] d[47][3] d[47][40] d[47][41] d[47][42] d[47][43] d[47][44] d[47][45] d[47][46] d[47][47] d[47][48] d[47][49] d[47][4] d[47][50] d[47][51] d[47][52] d[47][53] d[47][54] d[47][55] d[47][56] d[47][57] d[47][58] d[47][59] d[47][5] d[47][6] d[47][7] d[47][8] d[47][9] d[48][0] d[48][10] d[48][11] d[48][12] d[48][13] d[48][14] d[48][15] d[48][16] d[48][17] d[48][18] d[48][19] d[48][1] d[48][20] d[48][21] d[48][22] d[48][23] d[48][24] d[48][25] d[48][26] d[48][27] d[48][28] d[48][29] d[48][2] d[48][30] d[48][31] d[48][32] d[48][33] d[48][34] d[48][35] d[48][36] d[48][37] d[48][38] d[48][39] d[48][3] d[48][40] d[48][41] d[48][42] d[48][43] d[48][44] d[48][45] d[48][46] d[48][47] d[48][48] d[48][49] d[48][4] d[48][50] d[48][51] d[48][52] d[48][53] d[48][54] d[48][55] d[48][56] d[48][57] d[48][58] d[48][59] d[48][5] d[48][6] d[48][7] d[48][8] d[48][9] d[49][0] d[49][10] d[49][11] d[49][12] d[49][13] d[49][14] d[49][15] d[49][16] d[49][17] d[49][18] d[49][19] d[49][1] d[49][20] d[49][21] d[49][22] d[49][23] d[49][24] d[49][25] d[49][26] d[49][27] d[49][28] d[49][29] d[49][2] d[49][30] d[49][31] d[49][32] d[49][33] d[49][34] d[49][35] d[49][36] d[49][37] d[49][38] d[49][39] d[49][3] d[49][40] d[49][41] d[49][42] d[49][43] d[49][44] d[49][45] d[49][46] d[49][47] d[49][48] d[49][49] d[49][4] d[49][50] d[49][51] d[49][52] d[49][53] d[49][54] d[49][55] d[49][56] d[49][57] d[49][58] d[49][59] d[49][5] d[49][6] d[49][7] d[49][8] d[49][9] d[4][0] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][1] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][2] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][3] d[4][40] d[4][41] d[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] d[4][49] d[4][4] d[4][50] d[4][51] d[4][52] d[4][53] d[4][54] d[4][55] d[4][56] d[4][57] d[4][58] d[4][59] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[50][0] d[50][10] d[50][11] d[50][12] d[50][13] d[50][14] d[50][15] d[50][16] d[50][17] d[50][18] d[50][19] d[50][1] d[50][20] d[50][21] d[50][22] d[50][23] d[50][24] d[50][25] d[50][26] d[50][27] d[50][28] d[50][29] d[50][2] d[50][30] d[50][31] d[50][32] d[50][33] d[50][34] d[50][35] d[50][36] d[50][37] d[50][38] d[50][39] d[50][3] d[50][40] d[50][41] d[50][42] d[50][43] d[50][44] d[50][45] d[50][46] d[50][47] d[50][48] d[50][49] d[50][4] d[50][50] d[50][51] d[50][52] d[50][53] d[50][54] d[50][55] d[50][56] d[50][57] d[50][58] d[50][59] d[50][5] d[50][6] d[50][7] d[50][8] d[50][9] d[51][0] d[51][10] d[51][11] d[51][12] d[51][13] d[51][14] d[51][15] d[51][16] d[51][17] d[51][18] d[51][19] d[51][1] d[51][20] d[51][21] d[51][22] d[51][23] d[51][24] d[51][25] d[51][26] d[51][27] d[51][28] d[51][29] d[51][2] d[51][30] d[51][31] d[51][32] d[51][33] d[51][34] d[51][35] d[51][36] d[51][37] d[51][38] d[51][39] d[51][3] d[51][40] d[51][41] d[51][42] d[51][43] d[51][44] d[51][45] d[51][46] d[51][47] d[51][48] d[51][49] d[51][4] d[51][50] d[51][51] d[51][52] d[51][53] d[51][54] d[51][55] d[51][56] d[51][57] d[51][58] d[51][59] d[51][5] d[51][6] d[51][7] d[51][8] d[51][9] d[52][0] d[52][10] d[52][11] d[52][12] d[52][13] d[52][14] d[52][15] d[52][16] d[52][17] d[52][18] d[52][19] d[52][1] d[52][20] d[52][21] d[52][22] d[52][23] d[52][24] d[52][25] d[52][26] d[52][27] d[52][28] d[52][29] d[52][2] d[52][30] d[52][31] d[52][32] d[52][33] d[52][34] d[52][35] d[52][36] d[52][37] d[52][38] d[52][39] d[52][3] d[52][40] d[52][41] d[52][42] d[52][43] d[52][44] d[52][45] d[52][46] d[52][47] d[52][48] d[52][49] d[52][4] d[52][50] d[52][51] d[52][52] d[52][53] d[52][54] d[52][55] d[52][56] d[52][57] d[52][58] d[52][59] d[52][5] d[52][6] d[52][7] d[52][8] d[52][9] d[53][0] d[53][10] d[53][11] d[53][12] d[53][13] d[53][14] d[53][15] d[53][16] d[53][17] d[53][18] d[53][19] d[53][1] d[53][20] d[53][21] d[53][22] d[53][23] d[53][24] d[53][25] d[53][26] d[53][27] d[53][28] d[53][29] d[53][2] d[53][30] d[53][31] d[53][32] d[53][33] d[53][34] d[53][35] d[53][36] d[53][37] d[53][38] d[53][39] d[53][3] d[53][40] d[53][41] d[53][42] d[53][43] d[53][44] d[53][45] d[53][46] d[53][47] d[53][48] d[53][49] d[53][4] d[53][50] d[53][51] d[53][52] d[53][53] d[53][54] d[53][55] d[53][56] d[53][57] d[53][58] d[53][59] d[53][5] d[53][6] d[53][7] d[53][8] d[53][9] d[54][0] d[54][10] d[54][11] d[54][12] d[54][13] d[54][14] d[54][15] d[54][16] d[54][17] d[54][18] d[54][19] d[54][1] d[54][20] d[54][21] d[54][22] d[54][23] d[54][24] d[54][25] d[54][26] d[54][27] d[54][28] d[54][29] d[54][2] d[54][30] d[54][31] d[54][32] d[54][33] d[54][34] d[54][35] d[54][36] d[54][37] d[54][38] d[54][39] d[54][3] d[54][40] d[54][41] d[54][42] d[54][43] d[54][44] d[54][45] d[54][46] d[54][47] d[54][48] d[54][49] d[54][4] d[54][50] d[54][51] d[54][52] d[54][53] d[54][54] d[54][55] d[54][56] d[54][57] d[54][58] d[54][59] d[54][5] d[54][6] d[54][7] d[54][8] d[54][9] d[55][0] d[55][10] d[55][11] d[55][12] d[55][13] d[55][14] d[55][15] d[55][16] d[55][17] d[55][18] d[55][19] d[55][1] d[55][20] d[55][21] d[55][22] d[55][23] d[55][24] d[55][25] d[55][26] d[55][27] d[55][28] d[55][29] d[55][2] d[55][30] d[55][31] d[55][32] d[55][33] d[55][34] d[55][35] d[55][36] d[55][37] d[55][38] d[55][39] d[55][3] d[55][40] d[55][41] d[55][42] d[55][43] d[55][44] d[55][45] d[55][46] d[55][47] d[55][48] d[55][49] d[55][4] d[55][50] d[55][51] d[55][52] d[55][53] d[55][54] d[55][55] d[55][56] d[55][57] d[55][58] d[55][59] d[55][5] d[55][6] d[55][7] d[55][8] d[55][9] d[56][0] d[56][10] d[56][11] d[56][12] d[56][13] d[56][14] d[56][15] d[56][16] d[56][17] d[56][18] d[56][19] d[56][1] d[56][20] d[56][21] d[56][22] d[56][23] d[56][24] d[56][25] d[56][26] d[56][27] d[56][28] d[56][29] d[56][2] d[56][30] d[56][31] d[56][32] d[56][33] d[56][34] d[56][35] d[56][36] d[56][37] d[56][38] d[56][39] d[56][3] d[56][40] d[56][41] d[56][42] d[56][43] d[56][44] d[56][45] d[56][46] d[56][47] d[56][48] d[56][49] d[56][4] d[56][50] d[56][51] d[56][52] d[56][53] d[56][54] d[56][55] d[56][56] d[56][57] d[56][58] d[56][59] d[56][5] d[56][6] d[56][7] d[56][8] d[56][9] d[57][0] d[57][10] d[57][11] d[57][12] d[57][13] d[57][14] d[57][15] d[57][16] d[57][17] d[57][18] d[57][19] d[57][1] d[57][20] d[57][21] d[57][22] d[57][23] d[57][24] d[57][25] d[57][26] d[57][27] d[57][28] d[57][29] d[57][2] d[57][30] d[57][31] d[57][32] d[57][33] d[57][34] d[57][35] d[57][36] d[57][37] d[57][38] d[57][39] d[57][3] d[57][40] d[57][41] d[57][42] d[57][43] d[57][44] d[57][45] d[57][46] d[57][47] d[57][48] d[57][49] d[57][4] d[57][50] d[57][51] d[57][52] d[57][53] d[57][54] d[57][55] d[57][56] d[57][57] d[57][58] d[57][59] d[57][5] d[57][6] d[57][7] d[57][8] d[57][9] d[58][0] d[58][10] d[58][11] d[58][12] d[58][13] d[58][14] d[58][15] d[58][16] d[58][17] d[58][18] d[58][19] d[58][1] d[58][20] d[58][21] d[58][22] d[58][23] d[58][24] d[58][25] d[58][26] d[58][27] d[58][28] d[58][29] d[58][2] d[58][30] d[58][31] d[58][32] d[58][33] d[58][34] d[58][35] d[58][36] d[58][37] d[58][38] d[58][39] d[58][3] d[58][40] d[58][41] d[58][42] d[58][43] d[58][44] d[58][45] d[58][46] d[58][47] d[58][48] d[58][49] d[58][4] d[58][50] d[58][51] d[58][52] d[58][53] d[58][54] d[58][55] d[58][56] d[58][57] d[58][58] d[58][59] d[58][5] d[58][6] d[58][7] d[58][8] d[58][9] d[59][0] d[59][10] d[59][11] d[59][12] d[59][13] d[59][14] d[59][15] d[59][16] d[59][17] d[59][18] d[59][19] d[59][1] d[59][20] d[59][21] d[59][22] d[59][23] d[59][24] d[59][25] d[59][26] d[59][27] d[59][28] d[59][29] d[59][2] d[59][30] d[59][31] d[59][32] d[59][33] d[59][34] d[59][35] d[59][36] d[59][37] d[59][38] d[59][39] d[59][3] d[59][40] d[59][41] d[59][42] d[59][43] d[59][44] d[59][45] d[59][46] d[59][47] d[59][48] d[59][49] d[59][4] d[59][50] d[59][51] d[59][52] d[59][53] d[59][54] d[59][55] d[59][56] d[59][57] d[59][58] d[59][59] d[59][5] d[59][6] d[59][7] d[59][8] d[59][9] d[5][0] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][1] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][2] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][36] d[5][37] d[5][38] d[5][39] d[5][3] d[5][40] d[5][41] d[5][42] d[5][43] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[5][49] d[5][4] d[5][50] d[5][51] d[5][52] d[5][53] d[5][54] d[5][55] d[5][56] d[5][57] d[5][58] d[5][59] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[6][0] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][1] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][2] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][3] d[6][40] d[6][41] d[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] d[6][49] d[6][4] d[6][50] d[6][51] d[6][52] d[6][53] d[6][54] d[6][55] d[6][56] d[6][57] d[6][58] d[6][59] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[7][0] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][1] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][2] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][3] d[7][40] d[7][41] d[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] d[7][49] d[7][4] d[7][50] d[7][51] d[7][52] d[7][53] d[7][54] d[7][55] d[7][56] d[7][57] d[7][58] d[7][59] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[8][0] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][1] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][2] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][3] d[8][40] d[8][41] d[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] d[8][49] d[8][4] d[8][50] d[8][51] d[8][52] d[8][53] d[8][54] d[8][55] d[8][56] d[8][57] d[8][58] d[8][59] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[9][0] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][1] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][2] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][3] d[9][40] d[9][41] d[9][42] d[9][43] d[9][44] d[9][45] d[9][46] d[9][47] d[9][48] d[9][49] d[9][4] d[9][50] d[9][51] d[9][52] d[9][53] d[9][54] d[9][55] d[9][56] d[9][57] d[9][58] d[9][59] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[1] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[2] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[3] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[4] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[5] x[6] x[7] x[8] x[9] </list>
2400.08/2400.50	v <values>* 7 44 26 39 52 25 10 16 48 45 25 46 53 32 17 56 41 32 29 32 29 23 23 26 30 10 48 21 35 30 17 12 33 14 8 48 14 44 30 25 38 37 44 35 7 46 36 35 34 33 34 41 40 38 39 19 17 20 21 * * 42 35 20 40 32 29 40 54 32 * 35 40 46 45 21 23 31 46 39 29 * 24 26 51 36 56 44 9 36 14 47 * 38 40 32 46 36 51 12 42 28 40 * 30 43 11 29 30 37 20 20 25 * * * * * * * * * 10 37 32 44 5 27 32 25 * 28 30 5 * 33 27 35 11 12 34 * 35 17 31 33 32 5 29 39 23 33 * 40 54 29 27 31 23 46 32 48 23 * 3 40 34 22 42 24 35 14 21 26 * * * * * * * * * 53 24 9 49 10 23 19 * 52 41 * 26 30 13 24 36 19 39 * 34 39 14 24 13 25 38 54 44 30 * 32 37 29 33 44 28 26 27 7 11 * 27 41 29 44 28 21 36 12 6 15 * * * * * * * * * * 3 49 31 11 47 47 * 52 20 28 18 21 29 29 40 55 39 * 7 46 49 24 19 31 9 16 17 36 * 26 22 20 53 54 34 31 14 8 28 * 48 31 5 27 22 41 13 29 32 44 * * * * * * * * * * * 27 38 16 39 31 * 26 29 28 19 22 36 28 45 33 16 * 29 15 23 47 28 32 29 28 24 22 * 28 47 30 41 35 51 43 14 31 31 * 11 51 22 11 30 53 48 37 21 22 * * * * * * * * * * * * 30 48 15 34 * 29 55 34 20 31 32 50 38 30 25 * 45 16 29 46 32 16 19 3 40 26 * 21 14 24 41 48 43 33 46 34 21 * 13 30 20 42 31 37 35 30 43 46 * * * * * * * * * * * * * 36 41 31 * 36 19 54 22 46 34 22 31 28 38 * 26 25 38 22 40 17 33 46 27 37 * 30 28 33 16 24 24 41 31 52 51 * 41 30 13 15 26 42 40 10 41 44 * * * * * * * * * * * * * * 28 22 * 34 55 30 20 41 35 54 39 * 42 * 14 55 7 35 36 46 37 37 14 47 * 28 26 24 9 38 58 36 51 20 30 * 18 17 45 45 45 33 47 21 25 30 * * * * * * * * * * * * * * * 18 * 19 45 19 28 47 44 52 21 48 19 * 32 33 50 14 30 11 29 9 36 36 * 30 30 18 23 20 23 46 37 30 17 * 48 27 50 12 27 42 26 30 36 31 * * * * * * * * * * * * * * * * * 46 39 8 40 43 37 45 26 34 6 * 44 26 21 37 4 59 8 50 31 21 * 38 24 44 50 37 41 36 29 18 41 * 31 30 14 43 38 18 9 26 10 53 * * * * * * 5 33 32 12 33 * 37 38 22 29 * 32 36 28 42 22 13 40 39 36 34 38 31 * 51 39 7 24 25 27 33 11 32 26 22 26 21 * 28 22 20 28 28 44 34 24 26 25 28 27 53 31 33 30 12 22 38 45 31 * * * * * * * * * * * * * 31 36 47 53 28 22 15 35 12 * 9 22 44 38 55 42 26 34 22 30 * 22 37 18 37 36 24 23 50 39 21 * 42 30 32 26 35 37 33 40 45 30 * * * * * * * * * * * * * * * * * * * 17 24 49 35 48 7 37 25 * 56 22 26 5 53 20 12 57 6 15 * 42 46 48 47 16 50 49 48 26 3 * 54 24 42 34 44 47 39 24 33 16 * * * * * * * * * * * * * * * * * * * * 45 37 25 32 36 33 39 * 45 50 42 32 27 20 24 35 29 50 * 40 46 21 5 12 * 35 30 43 50 * 36 47 42 32 30 12 46 22 * 15 * * * * * * * * * * * * * * * * * * * * * 28 45 14 25 17 41 * 30 38 28 37 35 25 38 16 35 37 * 44 19 39 33 34 21 40 10 39 21 * 51 41 23 35 34 51 17 9 48 34 * * * * * * * * * * * * * * * * * * * * * * 31 25 43 36 20 * 32 42 51 24 32 17 13 16 7 14 * 27 29 58 27 35 39 27 31 23 39 * 35 43 27 21 40 39 20 34 36 43 * * * * * * * * * * * * * * * * * * * * * * * 18 21 32 55 * 28 57 14 * 47 42 7 37 39 53 * 45 30 * 18 20 41 18 25 51 45 * 31 22 43 30 21 18 42 30 26 28 * * * * * * * * * * * * * * * * * * * * * * * * 34 34 26 * 27 40 30 21 10 19 41 41 28 27 * 34 18 32 47 42 24 50 * 39 36 * 30 21 30 32 36 23 41 23 24 7 * * * * * * * * * * * * * * * * * * * * * * * * * 53 27 * 29 22 52 36 53 35 37 18 25 47 * 33 4 46 55 23 32 13 25 15 16 * 35 34 36 26 29 22 33 29 58 32 * * * * * * * * * * * * * * * * * * * * * * * * * * 33 * 27 45 22 45 45 36 48 37 44 18 * 26 44 21 31 25 28 32 33 20 46 * 12 37 17 12 31 39 34 38 17 9 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 41 21 35 4 33 29 21 18 39 27 * 25 28 13 24 33 50 41 44 55 21 * 38 44 39 32 19 19 18 10 22 42 * * * * * * 37 17 51 9 27 25 19 54 48 45 * 29 35 12 40 24 22 36 29 43 53 * 26 11 32 30 59 29 31 8 36 37 22 21 55 14 34 24 30 32 40 39 38 45 34 24 26 32 33 17 25 33 24 38 9 32 40 33 18 * * * * * * * * * * * * * * * * * * * * * * * * 30 38 53 13 19 5 36 31 31 * 30 27 25 18 * 37 33 43 25 15 * 46 21 18 51 10 13 14 24 24 27 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 25 54 48 35 36 42 34 36 * 24 46 23 31 39 28 26 41 31 43 * 15 35 47 26 4 40 55 38 19 49 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 39 35 54 17 24 52 30 * 40 23 30 30 34 * 24 15 50 17 * 20 17 31 22 49 36 17 19 17 27 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 47 24 32 16 25 27 * 25 20 41 23 44 37 21 7 12 38 * 24 31 34 24 45 26 16 35 5 12 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 30 15 16 25 25 * 54 14 38 24 24 23 28 48 26 37 * 16 29 48 16 29 25 31 19 42 38 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 30 44 22 31 * 36 40 7 39 40 35 30 22 44 40 * 37 13 51 39 20 22 34 32 46 29 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 43 57 27 * 5 41 57 36 39 24 22 29 47 38 * 25 45 13 49 32 35 29 40 47 24 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 11 14 * 47 23 26 44 22 34 17 40 18 38 * 44 26 15 29 17 36 18 28 26 31 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 47 * 20 37 27 18 32 8 49 14 15 21 * 24 25 37 39 41 2 45 29 8 43 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 44 25 36 26 33 39 10 36 36 23 * 21 27 34 41 49 33 30 49 16 22 * * * * * * 52 30 21 16 20 21 39 25 49 14 * 42 49 29 35 20 22 13 13 30 50 * 44 12 35 32 10 52 36 10 32 32 * 23 51 33 32 26 14 18 28 24 35 26 31 17 39 49 37 26 28 50 36 * 55 14 36 16 45 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 42 32 34 35 13 37 20 10 40 * 30 35 39 42 5 15 38 35 13 47 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 53 15 * 52 55 33 46 31 * 40 29 44 43 39 49 57 10 38 29 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 25 34 35 14 45 45 48 * * 44 11 23 45 39 44 38 30 21 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 24 35 37 * 14 22 * 40 18 28 58 22 50 38 9 52 32 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 23 24 31 19 10 * 9 32 27 17 33 38 19 23 45 34 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 49 32 44 50 * 26 17 17 44 42 56 29 9 44 28 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 7 34 15 * 48 33 21 46 36 41 19 33 27 37 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 38 9 * 38 27 3 27 17 29 29 38 18 38 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 9 * 51 32 37 12 15 30 17 47 33 48 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 14 24 39 30 10 13 21 37 29 49 * * * * * * 40 57 9 41 30 24 13 42 22 44 * 39 53 35 7 56 40 41 17 18 * * * 29 42 28 41 51 39 34 17 41 * 15 41 40 23 28 44 17 43 39 44 * 1 11 34 24 19 41 28 25 31 30 8 42 38 39 36 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 60 50 34 22 33 40 43 29 32 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 26 20 41 26 45 24 44 6 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 34 42 33 47 47 45 40 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 45 31 22 12 56 38 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 33 16 * 33 42 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 8 51 24 18 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 46 17 38 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 38 6 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 23 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 26 19 * 7 22 31 42 11 * 48 * 41 22 25 41 25 18 32 33 55 8 * 25 57 9 31 28 24 47 10 48 34 * 35 31 25 28 22 48 5 40 36 37 * 20 44 55 33 12 42 28 36 45 16 * 10 34 48 51 * 30 46 45 29 20 37 21 34 32 28 * 7 23 17 47 11 48 25 36 30 39 * 29 33 43 51 36 49 * 20 7 55 * 47 29 52 38 52 26 18 48 35 23 * 21 27 31 32 12 40 31 39 14 46 * * 46 20 45 * 36 50 37 42 47 49 32 8 13 4 * 44 35 27 36 10 26 29 41 53 14 * 44 18 30 33 10 27 41 11 * 27 * 48 40 45 34 40 * 37 33 36 57 * 30 26 42 38 51 42 28 24 28 33 * * * 47 26 * 45 10 40 7 53 30 45 40 41 23 * 8 38 26 28 37 43 35 28 13 38 * 20 54 14 24 40 14 33 25 19 7 * 20 29 14 47 43 33 31 37 15 29 * 16 43 38 33 47 14 31 19 38 16 * * * * 23 * 48 32 32 46 26 43 33 30 24 47 * 53 28 12 38 * 15 23 30 44 15 * 32 39 49 21 27 26 23 5 47 30 * 15 13 37 40 37 5 43 14 31 30 * 24 46 38 45 31 36 24 58 47 34 * * * * * 58 10 32 8 13 51 2 14 30 35 9 52 49 47 0 34 22 41 53 50 15 7 3 43 44 55 56 59 24 5 26 18 21 31 40 36 12 33 19 4 48 46 38 17 45 57 54 20 25 37 29 6 23 42 27 1 16 28 39 11 </values>
2400.08/2400.50	v </instantiation>
2400.08/2400.50

Verifier Data 

OK	1615360

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408829-1569790186/watcher-4408829-1569790186 -o /tmp/evaluation-result-4408829-1569790186/solver-4408829-1569790186 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1569787353-6072 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408829-1569790186.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
Current StackSize limit: 8192 KiB

solver pid=6910, runsolver pid=6907

[startup+0.100116 s]*
/proc/loadavg: 1.98 2.01 1.90 3/199 6911
/proc/meminfo: memFree=31540028/32770624 swapFree=66999984/67108860
[pid=6910] ppid=6907 vsize=57532 memory=33780 CPUtime=0.1 cores=0,2,4,6
/proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 8650 0 0 0 9 1 0 0 20 0 1 0 555283383 58912768 8445 33554432000 4194304 6211132 140729245355904 140729245352440 5188703 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0
/proc/6910/statm: 14383 8445 822 493 0 7688 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 57532 KiB
Current children cumulated memory: 33780 KiB

[startup+0.209612 s]*
/proc/loadavg: 1.98 2.01 1.90 3/199 6911
/proc/meminfo: memFree=31488320/32770624 swapFree=66999984/67108860
[pid=6910] ppid=6907 vsize=108808 memory=85260 CPUtime=0.2 cores=0,2,4,6
/proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 21518 0 0 0 18 2 0 0 20 0 1 0 555283383 111419392 21315 33554432000 4194304 6211132 140729245355904 140729245352440 5039014 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0
/proc/6910/statm: 27202 21315 830 493 0 20507 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 108808 KiB
Current children cumulated memory: 85260 KiB

[startup+0.309553 s]*
/proc/loadavg: 1.98 2.01 1.90 3/199 6911
/proc/meminfo: memFree=31488320/32770624 swapFree=66999984/67108860
[pid=6910] ppid=6907 vsize=108808 memory=85260 CPUtime=0.3 cores=0,2,4,6
/proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 21519 0 0 0 28 2 0 0 20 0 1 0 555283383 111419392 21315 33554432000 4194304 6211132 140729245355904 140729245352440 5038964 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0
/proc/6910/statm: 27202 21315 830 493 0 20507 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 108808 KiB
Current children cumulated memory: 85260 KiB

[startup+0.700342 s]
/proc/loadavg: 1.98 2.01 1.90 3/199 6911
/proc/meminfo: memFree=31487948/32770624 swapFree=66999984/67108860
[pid=6910] ppid=6907 vsize=108808 memory=85260 CPUtime=0.69 cores=0,2,4,6
/proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 21519 0 0 0 67 2 0 0 20 0 1 0 555283383 111419392 21315 33554432000 4194304 6211132 140729245355904 140729245352440 5039029 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0
/proc/6910/statm: 27202 21315 830 493 0 20507 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 108808 KiB
Current children cumulated memory: 85260 KiB

[startup+1.50034 s]
/proc/loadavg: 1.98 2.01 1.90 3/199 6911
/proc/meminfo: memFree=31487484/32770624 swapFree=66999984/67108860
[pid=6910] ppid=6907 vsize=110392 memory=86844 CPUtime=1.49 cores=0,2,4,6
/proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 21901 0 0 0 147 2 0 0 20 0 1 0 555283383 113041408 21711 33554432000 4194304 6211132 140729245355904 140729245353224 5039022 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0
/proc/6910/statm: 27598 21711 873 493 0 20903 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 110392 KiB
Current children cumulated memory: 86844 KiB

[startup+3.10951 s]
/proc/loadavg: 1.98 2.01 1.90 3/199 6911
/proc/meminfo: memFree=31469152/32770624 swapFree=66999984/67108860
[pid=6910] ppid=6907 vsize=127416 memory=104008 CPUtime=3.09 cores=0,2,4,6
/proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 45974 0 0 0 305 4 0 0 20 0 1 0 555283383 130473984 26002 33554432000 4194304 6211132 140729245355904 140729245343784 5037847 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0
/proc/6910/statm: 31854 26002 874 493 0 25159 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 127416 KiB
Current children cumulated memory: 104008 KiB

[startup+6.30022 s]
/proc/loadavg: 1.98 2.01 1.90 3/199 6911
/proc/meminfo: memFree=31466980/32770624 swapFree=66999984/67108860
[pid=6910] ppid=6907 vsize=130084 memory=106576 CPUtime=6.29 cores=0,2,4,6
/proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 67306 0 0 0 623 6 0 0 20 0 1 0 555283383 133206016 26644 33554432000 4194304 6211132 140729245355904 140729245353112 5396788 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0
/proc/6910/statm: 32521 26644 874 493 0 25826 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 130084 KiB
Current children cumulated memory: 106576 KiB

[startup+12.7003 s]
/proc/loadavg: 1.98 2.01 1.91 3/199 6911
/proc/meminfo: memFree=31459448/32770624 swapFree=66999984/67108860
[pid=6910] ppid=6907 vsize=136652 memory=113204 CPUtime=12.69 cores=0,2,4,6
/proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 89757 0 0 0 1262 7 0 0 20 0 1 0 555283383 139931648 28301 33554432000 4194304 6211132 140729245355904 140729245343784 5039014 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0
/proc/6910/statm: 34163 28301 874 493 0 27468 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 136652 KiB
Current children cumulated memory: 113204 KiB

[startup+25.5003 s]
/proc/loadavg: 1.98 2.01 1.91 3/199 6912
/proc/meminfo: memFree=31456748/32770624 swapFree=66999984/67108860
[pid=6910] ppid=6907 vsize=138808 memory=115436 CPUtime=25.48 cores=0,2,4,6
/proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 134196 0 0 0 2539 9 0 0 20 0 1 0 555283383 142139392 28859 33554432000 4194304 6211132 140729245355904 140729245353112 5158060 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0
/proc/6910/statm: 34702 28859 874 493 0 28007 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 138808 KiB
Current children cumulated memory: 115436 KiB

[startup+51.1095 s]
/proc/loadavg: 1.92 2.00 1.90 3/199 6979
/proc/meminfo: memFree=31453640/32770624 swapFree=66999984/67108860
[pid=6910] ppid=6907 vsize=140292 memory=116868 CPUtime=51.07 cores=0,2,4,6
/proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 153681 0 0 0 5097 10 0 0 20 0 1 0 555283383 143659008 29217 33554432000 4194304 6211132 140729245355904 140729245343784 5156211 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0
/proc/6910/statm: 35073 29217 874 493 0 28378 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 140292 KiB
Current children cumulated memory: 116868 KiB

[startup+102.3 s]
/proc/loadavg: 1.93 1.98 1.90 3/199 6990
/proc/meminfo: memFree=31452328/32770624 swapFree=66999984/67108860
[pid=6910] ppid=6907 vsize=141512 memory=118112 CPUtime=102.24 cores=0,2,4,6
/proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 163858 0 0 0 10213 11 0 0 20 0 1 0 555283383 144908288 29528 33554432000 4194304 6211132 140729245355904 140729245353304 5035283 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0
/proc/6910/statm: 35378 29528 874 493 0 28683 0
Current children cumulated CPU time: 102.24 s
Current children cumulated vsize: 141512 KiB
Current children cumulated memory: 118112 KiB

[startup+162.3 s]
/proc/loadavg: 1.97 1.99 1.91 3/199 6994
/proc/meminfo: memFree=31452496/32770624 swapFree=66999984/67108860
[pid=6910] ppid=6907 vsize=141780 memory=118320 CPUtime=162.23 cores=0,2,4,6
/proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 164811 0 0 0 16212 11 0 0 20 0 1 0 555283383 145182720 29580 33554432000 4194304 6211132 140729245355904 140729245353112 5155836 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0
/proc/6910/statm: 35445 29580 874 493 0 28750 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 141780 KiB
Current children cumulated memory: 118320 KiB

[startup+222.3 s]
/proc/loadavg: 1.92 1.96 1.90 3/200 7127
/proc/meminfo: memFree=31450356/32770624 swapFree=66999984/67108860
[pid=6910] ppid=6907 vsize=141780 memory=118396 CPUtime=222.21 cores=0,2,4,6
/proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 165737 0 0 0 22210 11 0 0 20 0 1 0 555283383 145182720 29599 33554432000 4194304 6211132 140729245355904 140729245353112 5157572 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0
/proc/6910/statm: 35445 29599 874 493 0 28750 0
Current children cumulated CPU time: 222.21 s
Current children cumulated vsize: 141780 KiB
Current children cumulated memory: 118396 KiB

[startup+282.3 s]
/proc/loadavg: 1.97 1.96 1.91 3/199 7131
/proc/meminfo: memFree=31450368/32770624 swapFree=66999984/67108860
[pid=6910] ppid=6907 vsize=141780 memory=118408 CPUtime=282.2 cores=0,2,4,6
/proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 166588 0 0 0 28209 11 0 0 20 0 1 0 555283383 145182720 29602 33554432000 4194304 6211132 140729245355904 140729245353112 5157576 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0
/proc/6910/statm: 35445 29602 874 493 0 28750 0
Current children cumulated CPU time: 282.2 s
Current children cumulated vsize: 141780 KiB
Current children cumulated memory: 118408 KiB

[startup+342.3 s]
/proc/loadavg: 1.99 1.97 1.92 3/199 7135
/proc/meminfo: memFree=31449924/32770624 swapFree=66999984/67108860
[pid=6910] ppid=6907 vsize=141780 memory=118408 CPUtime=342.19 cores=0,2,4,6
/proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 167010 0 0 0 34208 11 0 0 20 0 1 0 555283383 145182720 29602 33554432000 4194304 6211132 140729245355904 140729245353112 5158127 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0
/proc/6910/statm: 35445 29602 874 493 0 28750 0
Current children cumulated CPU time: 342.19 s
Current children cumulated vsize: 141780 KiB
Current children cumulated memory: 118408 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.98 1.92 3/200 7142
/proc/meminfo: memFree=31449640/32770624 swapFree=66999984/67108860
[pid=6910] ppid=6907 vsize=141780 memory=118408 CPUtime=402.18 cores=0,2,4,6
/proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 167407 0 0 0 40207 11 0 0 20 0 1 0 555283383 145182720 29602 33554432000 4194304 6211132 140729245355904 140729245353112 5396782 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0
/proc/6910/statm: 35445 29602 874 493 0 28750 0
Current children cumulated CPU time: 402.18 s
Current children cumulated vsize: 141780 KiB
Current children cumulated memory: 118408 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.98 1.93 3/199 7146
/proc/meminfo: memFree=31449480/32770624 swapFree=66999984/67108860
[pid=6910] ppid=6907 vsize=141780 memory=118408 CPUtime=462.17 cores=0,2,4,6
/proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 167813 0 0 0 46206 11 0 0 20 0 1 0 555283383 145182720 29602 33554432000 4194304 6211132 140729245355904 140729245353112 5158055 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0
/proc/6910/statm: 35445 29602 874 493 0 28750 0
Current children cumulated CPU time: 462.17 s
Current children cumulated vsize: 141780 KiB
Current children cumulated memory: 118408 KiB


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

/proc/6910/statm: 35478 29628 874 493 0 28783 0
Current children cumulated CPU time: 1661.97 s
Current children cumulated vsize: 141912 KiB
Current children cumulated memory: 118512 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/199 7306
/proc/meminfo: memFree=31449840/32770624 swapFree=66999984/67108860
[pid=6910] ppid=6907 vsize=141912 memory=118512 CPUtime=1721.96 cores=0,2,4,6
/proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 176267 0 0 0 172183 13 0 0 20 0 1 0 555283383 145317888 29628 33554432000 4194304 6211132 140729245355904 140729245343784 5158008 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0
/proc/6910/statm: 35478 29628 874 493 0 28783 0
Current children cumulated CPU time: 1721.96 s
Current children cumulated vsize: 141912 KiB
Current children cumulated memory: 118512 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/199 7310
/proc/meminfo: memFree=31450252/32770624 swapFree=66999984/67108860
[pid=6910] ppid=6907 vsize=141912 memory=118512 CPUtime=1781.95 cores=0,2,4,6
/proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 176574 0 0 0 178182 13 0 0 20 0 1 0 555283383 145317888 29628 33554432000 4194304 6211132 140729245355904 140729245343784 5380288 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0
/proc/6910/statm: 35478 29628 874 493 0 28783 0
Current children cumulated CPU time: 1781.95 s
Current children cumulated vsize: 141912 KiB
Current children cumulated memory: 118512 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/200 7316
/proc/meminfo: memFree=31449820/32770624 swapFree=66999984/67108860
[pid=6910] ppid=6907 vsize=141912 memory=118512 CPUtime=1841.94 cores=0,2,4,6
/proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 176995 0 0 0 184181 13 0 0 20 0 1 0 555283383 145317888 29628 33554432000 4194304 6211132 140729245355904 140729245343784 5156264 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0
/proc/6910/statm: 35478 29628 874 493 0 28783 0
Current children cumulated CPU time: 1841.94 s
Current children cumulated vsize: 141912 KiB
Current children cumulated memory: 118512 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/200 7328
/proc/meminfo: memFree=31449796/32770624 swapFree=66999984/67108860
[pid=6910] ppid=6907 vsize=141912 memory=118512 CPUtime=1901.93 cores=0,2,4,6
/proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 177302 0 0 0 190180 13 0 0 20 0 1 0 555283383 145317888 29628 33554432000 4194304 6211132 140729245355904 140729245343784 5392113 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0
/proc/6910/statm: 35478 29628 874 493 0 28783 0
Current children cumulated CPU time: 1901.93 s
Current children cumulated vsize: 141912 KiB
Current children cumulated memory: 118512 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/200 7332
/proc/meminfo: memFree=31449996/32770624 swapFree=66999984/67108860
[pid=6910] ppid=6907 vsize=141912 memory=118512 CPUtime=1961.91 cores=0,2,4,6
/proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 177612 0 0 0 196178 13 0 0 20 0 1 0 555283383 145317888 29628 33554432000 4194304 6211132 140729245355904 140729245343784 5035312 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0
/proc/6910/statm: 35478 29628 874 493 0 28783 0
Current children cumulated CPU time: 1961.91 s
Current children cumulated vsize: 141912 KiB
Current children cumulated memory: 118512 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/201 7338
/proc/meminfo: memFree=31449004/32770624 swapFree=66999984/67108860
[pid=6910] ppid=6907 vsize=141912 memory=118512 CPUtime=2021.9 cores=0,2,4,6
/proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 178031 0 0 0 202177 13 0 0 20 0 1 0 555283383 145317888 29628 33554432000 4194304 6211132 140729245355904 140729245343784 5396788 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0
/proc/6910/statm: 35478 29628 874 493 0 28783 0
Current children cumulated CPU time: 2021.9 s
Current children cumulated vsize: 141912 KiB
Current children cumulated memory: 118512 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/200 7342
/proc/meminfo: memFree=31449460/32770624 swapFree=66999984/67108860
[pid=6910] ppid=6907 vsize=141912 memory=118512 CPUtime=2081.89 cores=0,2,4,6
/proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 178353 0 0 0 208176 13 0 0 20 0 1 0 555283383 145317888 29628 33554432000 4194304 6211132 140729245355904 140729245343784 5193728 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0
/proc/6910/statm: 35478 29628 874 493 0 28783 0
Current children cumulated CPU time: 2081.89 s
Current children cumulated vsize: 141912 KiB
Current children cumulated memory: 118512 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/200 7346
/proc/meminfo: memFree=31448956/32770624 swapFree=66999984/67108860
[pid=6910] ppid=6907 vsize=141912 memory=118512 CPUtime=2141.88 cores=0,2,4,6
/proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 178790 0 0 0 214175 13 0 0 20 0 1 0 555283383 145317888 29628 33554432000 4194304 6211132 140729245355904 140729245343784 5389446 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0
/proc/6910/statm: 35478 29628 874 493 0 28783 0
Current children cumulated CPU time: 2141.88 s
Current children cumulated vsize: 141912 KiB
Current children cumulated memory: 118512 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/200 7353
/proc/meminfo: memFree=31448944/32770624 swapFree=66999984/67108860
[pid=6910] ppid=6907 vsize=141912 memory=118512 CPUtime=2201.88 cores=0,2,4,6
/proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 179234 0 0 0 220175 13 0 0 20 0 1 0 555283383 145317888 29628 33554432000 4194304 6211132 140729245355904 140729245354040 5155832 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0
/proc/6910/statm: 35478 29628 874 493 0 28783 0
Current children cumulated CPU time: 2201.88 s
Current children cumulated vsize: 141912 KiB
Current children cumulated memory: 118512 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/199 7357
/proc/meminfo: memFree=31448436/32770624 swapFree=66999984/67108860
[pid=6910] ppid=6907 vsize=141912 memory=118512 CPUtime=2261.88 cores=0,2,4,6
/proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 179546 0 0 0 226175 13 0 0 20 0 1 0 555283383 145317888 29628 33554432000 4194304 6211132 140729245355904 140729245354040 5158138 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0
/proc/6910/statm: 35478 29628 874 493 0 28783 0
Current children cumulated CPU time: 2261.88 s
Current children cumulated vsize: 141912 KiB
Current children cumulated memory: 118512 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/199 7361
/proc/meminfo: memFree=31447996/32770624 swapFree=66999984/67108860
[pid=6910] ppid=6907 vsize=141912 memory=118512 CPUtime=2321.88 cores=0,2,4,6
/proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 179860 0 0 0 232175 13 0 0 20 0 1 0 555283383 145317888 29628 33554432000 4194304 6211132 140729245355904 140729245354040 5157576 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0
/proc/6910/statm: 35478 29628 874 493 0 28783 0
Current children cumulated CPU time: 2321.88 s
Current children cumulated vsize: 141912 KiB
Current children cumulated memory: 118512 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/200 7368
/proc/meminfo: memFree=31447060/32770624 swapFree=66999984/67108860
[pid=6910] ppid=6907 vsize=141912 memory=118512 CPUtime=2381.88 cores=0,2,4,6
/proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 180289 0 0 0 238175 13 0 0 20 0 1 0 555283383 145317888 29628 33554432000 4194304 6211132 140729245355904 140729245354040 5155836 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0
/proc/6910/statm: 35478 29628 874 493 0 28783 0
Current children cumulated CPU time: 2381.88 s
Current children cumulated vsize: 141912 KiB
Current children cumulated memory: 118512 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/199 7369
/proc/meminfo: memFree=31447500/32770624 swapFree=66999984/67108860
[pid=6910] ppid=6907 vsize=141912 memory=118512 CPUtime=2400.08 cores=0,2,4,6
/proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 180603 0 0 0 239995 13 0 0 20 0 1 0 555283383 145317888 29628 33554432000 4194304 6211132 140729245355904 140729245354040 5156264 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0
/proc/6910/statm: 35478 29628 874 493 0 28783 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 141912 KiB
Current children cumulated memory: 118512 KiB

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

[startup+2400.5 s]
# the end of solver process 6910 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.96 s, system=0.135978 s

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

[startup+2400.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/199 7369
/proc/meminfo: memFree=31447500/32770624 swapFree=66999984/67108860
[pid=6910] ppid=6907 vsize=141912 memory=118512 CPUtime=2400.08 cores=0,2,4,6
/proc/6910/stat : 6910 (cosoco) R 6907 6910 6041 0 -1 4202496 180603 0 0 0 239995 13 0 0 20 0 1 0 555283383 145317888 29628 33554432000 4194304 6211132 140729245355904 140729245354040 5156264 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8736768 140729245361163 140729245361265 140729245361265 140729245364174 0
/proc/6910/statm: 35478 29628 874 493 0 28783 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 141912 KiB
Current children cumulated memory: 118512 KiB

Child status: 1
Real time (s): 2400.5
CPU time (s): 2400.09
CPU user time (s): 2399.96
CPU system time (s): 0.135978
CPU usage (%): 99.983
Max. virtual memory (cumulated for all children) (KiB): 141912
Max. memory (cumulated for all children) (KiB): 118512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.96
system time used= 0.135978
maximum resident set size= 118576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180661
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= 57
involuntary context switches= 2271


# summary of solver processes directly reported to runsolver:
#   pid: 6910
#   total CPU time (s): 2400.09
#   total CPU user time (s): 2399.96
#   total CPU system time (s): 0.135978

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.64486 second user time and 15.9037 second system time

The end

Launcher Data 

Begin job on node123 at 2019-09-29 22:49:06
IDJOB=4408829
IDBENCH=123115
IDSOLVER=2875
FILE ID=node123/4408829-1569790186
RUNJOBID= node123-1569787353-6072
PBS_JOBID= 21705830
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-lipa60b.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408829-1569790186/watcher-4408829-1569790186 -o /tmp/evaluation-result-4408829-1569790186/solver-4408829-1569790186 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1569787353-6072 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4408829-1569790186.xml

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

MD5SUM BENCH= d3c2bfd6fc3d7b839ebf0f38d378e232
RANDOM SEED=236993948

node123.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.49
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.49
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.49
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.49
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:        31569900 kB
MemAvailable:   31853100 kB
Buffers:          183916 kB
Cached:           420900 kB
SwapCached:         6544 kB
Active:           307632 kB
Inactive:         309712 kB
Active(anon):      21740 kB
Inactive(anon):    71784 kB
Active(file):     285892 kB
Inactive(file):   237928 kB
Unevictable:      107612 kB
Mlocked:          107612 kB
SwapTotal:      67108860 kB
SwapFree:       66999984 kB
Dirty:              2888 kB
Writeback:             0 kB
AnonPages:        113732 kB
Mapped:            27872 kB
Shmem:             72640 kB
Slab:             180812 kB
SReclaimable:     150428 kB
SUnreclaim:        30384 kB
KernelStack:        3504 kB
PageTables:         5372 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     569120 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 62024 MiB
End job on node123 at 2019-09-29 23:29:07