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