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