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