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