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