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