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