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