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