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