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