(2,20) (4,23) (5,30) (7,25) (8,18) (9,26) (11,24) (12,28) (13,27) (14,16) (15,29) 
nodes: 1775  conflicts: 62  modelTime: 658  solveTime: 2789  totalTime: 3454  modelSize: 41292  readTime: 7 size: 11