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