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