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