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