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