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