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