(1,18) (2,29) (3,16) (4,30) (5,20) (7,12) (8,21) (10,27) (13,25) (14,23) (22,24) 
nodes: 1010  conflicts: 145  modelTime: 1906  solveTime: 6893  totalTime: 8824  modelSize: 72262  readTime: 25 size: 11