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