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