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