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