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