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