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