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