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