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