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