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