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