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