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