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