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