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