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