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