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