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