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