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