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