(1,21) (2,3) (4,28) (5,27) (6,8) (7,19) (9,22) (10,20) (11,24) (12,18) (13,26) (14,25) (15,29) (16,23) (17,30) 
nodes: 125824  conflicts: 41  modelTime: 936  solveTime: 494860  totalTime: 495837  modelSize: 72275  readTime: 41 size: 15