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