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