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