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