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