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