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