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