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