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