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