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