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