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