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