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