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