(2,18) (3,27) (4,28) (5,22) (6,16) (7,24) (8,19) (9,23) (10,17) (11,21) (12,30) (13,20) (14,29) (15,25) 
nodes: 3755  conflicts: 41  modelTime: 654  solveTime: 11343  totalTime: 12004  modelSize: 41292  readTime: 7 size: 14