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