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