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