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