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