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