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