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