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