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