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