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