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