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