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