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