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