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