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