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