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