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