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