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