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