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