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