(1,22) (2,26) (4,21) (5,30) (6,19) (7,16) (8,24) (9,20) (10,18) (11,17) (12,29) (14,25) (15,28) 
nodes: 2900  conflicts: 46  modelTime: 658  solveTime: 3530  totalTime: 4195  modelSize: 41292  readTime: 7 size: 13