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