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