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