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