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