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