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