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