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