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