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