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