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