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