(1,8) (2,26) (3,13) (4,20) (5,12) (6,19) (7,18) (9,11) (10,25) (14,17) (15,22) (23,30) (24,29) (27,28) 
nodes: 3718  conflicts: 36  modelTime: 930  solveTime: 9610  totalTime: 10551  modelSize: 72262  readTime: 11 size: 14