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