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