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