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