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