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