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