(1,24) (3,27) (4,17) (5,22) (6,30) (7,26) (9,25) (10,19) (11,29) (12,20) (13,21) (14,23) (15,16) 
nodes: 1301  conflicts: 36  modelTime: 661  solveTime: 2054  totalTime: 2722  modelSize: 41293  readTime: 7 size: 13