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