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