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