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