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