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