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