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