(1,27) (2,28) (3,21) (4,30) (5,24) (6,18) (7,19) (8,29) (9,26) (10,25) (11,22) (12,16) (13,17) (14,23) (15,20) 
nodes: 2279  conflicts: 4  modelTime: 772  solveTime: 3296  totalTime: 4074  modelSize: 41292  readTime: 6 size: 15