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