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