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