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