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