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