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