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