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