(1,23) (2,26) (3,21) (4,25) (5,30) (6,29) (7,22) (8,16) (9,19) (10,24) (11,17) (12,20) (13,18) (14,28) (15,27) 
nodes: 4183  conflicts: 32  modelTime: 661  solveTime: 7376  totalTime: 8044  modelSize: 41298  readTime: 7 size: 15