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