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