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