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