(1,23) (2,25) (3,19) (5,26) (6,17) (9,18) (10,29) (11,27) (12,20) (13,30) (14,28) (15,24) 
nodes: 2986  conflicts: 41  modelTime: 654  solveTime: 4912  totalTime: 5572  modelSize: 41298  readTime: 6 size: 12