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