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