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