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