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