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