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