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