(1,23) (2,22) (3,16) (4,29) (5,20) (6,19) (7,26) (9,21) (10,17) (11,24) (12,25) (14,30) 
nodes: 757  conflicts: 65  modelTime: 663  solveTime: 643  totalTime: 1313  modelSize: 41292  readTime: 7 size: 12