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