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