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