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