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