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