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