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