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