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