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