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