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