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