(1,19) (3,24) (4,18) (5,23) (6,26) (7,16) (8,30) (10,25) (11,28) (12,20) (14,22) (15,21) 
nodes: 981  conflicts: 65  modelTime: 665  solveTime: 1419  totalTime: 2091  modelSize: 41292  readTime: 7 size: 12