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