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