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