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