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