(1,27) (2,26) (3,23) (4,29) (5,18) (6,25) (7,21) (8,20) (9,28) (10,16) (11,17) (12,19) (13,30) (15,24) 
nodes: 4051  conflicts: 26  modelTime: 681  solveTime: 6398  totalTime: 7085  modelSize: 41292  readTime: 6 size: 14