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