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