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