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