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